Quiz 2
Registry Synced

maths1-week1

968 words
5 min read

Reading compass

Now · Week map

Deep study for Quiz 2 weeks 1–4. Build vocabulary first, then pattern recognition, then mixed traps.

Week map

Set language → roster and interval notation → subset and power set → relations as cross-products → function as special relation → domain, codomain, range → injective / surjective / bijective sketches.

Set notation (learn the symbols before the rules)

  • AA → “set AA” → collection of distinct objects → A={2,5,7}A = \{2, 5, 7\}.
  • {x:condition}\{x : \text{condition}\} → “set builder” → all xx satisfying the condition → {x:xZ,2<x<4}={1,0,1,2,3}\{x : x \in \mathbb{Z}, -2 < x < 4\} = \{-1,0,1,2,3\}.
  • xAx \in A → “xx belongs to AA” → membership test → 3{1,3,5}3 \in \{1,3,5\} is true.
  • ABA \subseteq B → “AA is a subset of BB” → every element of AA is in BB{2,4}{1,2,3,4}\{2,4\} \subseteq \{1,2,3,4\}.
  • ABA \cup B → “union” → elements in AA or BB (or both) → {1,2}{2,3}={1,2,3}\{1,2\} \cup \{2,3\} = \{1,2,3\}.
  • ABA \cap B → “intersection” → elements in both → {1,2}{2,3}={2}\{1,2\} \cap \{2,3\} = \{2\}.
  • AcA^c or AA' → “complement” → elements in universal set UU not in AA → if U={1,2,3,4}U=\{1,2,3,4\}, then {1,3}c={2,4}\{1,3\}^c = \{2,4\}.
  • A|A| → “cardinality” → number of elements → {a,b,c}=3|\{a,b,c\}| = 3.

Roster vs interval on the line

Finite sets use braces: {1,0,1}\{-1, 0, 1\}. Intervals on R\mathbb{R} use parentheses/brackets:
  • (a,b)(a,b) → open interval → a<x<ba < x < b(2,5)(2,5) excludes endpoints.
  • [a,b][a,b] → closed interval → axba \le x \le b.
  • (,b](-\infty, b] → unbounded left → all xbx \le b.
Trap: {2}\{2\} is a set containing one element; 22 is not a set. \emptyset and {}\{\emptyset\} differ: the second has one element (the empty set).

Relations

A relation RR from set AA to set BB is any subset of A×BA \times B (ordered pairs).
Example: A={1,2,3}A = \{1,2,3\}, B={0,1}B = \{0,1\}. Define R={(1,0),(2,0),(3,1)}R = \{(1,0), (2,0), (3,1)\}. Then 2R02\,R\,0 is true (pair (2,0)(2,0) is in RR).

Relation properties (when RR is on A×AA \times A)

  • Reflexive: every element pairs with itself → (a,a)R(a,a) \in R for all aAa \in A.
  • Symmetric: swapping order keeps membership → if (a,b)R(a,b) \in R then (b,a)R(b,a) \in R.
  • Transitive: chains close → if (a,b)R(a,b) \in R and (b,c)R(b,c) \in R then (a,c)R(a,c) \in R.
Mini-example: On {1,2,3}\{1,2,3\}, let R={(1,1),(2,2),(3,3),(1,2),(2,1)}R = \{(1,1),(2,2),(3,3),(1,2),(2,1)\}. Reflexive yes; symmetric yes; transitive yes (only chain 1211 \to 2 \to 1 closes).

Functions

A function f:ABf : A \to B is a relation where each input in domain AA has exactly one output in codomain BB.
  • Range → actual outputs hit → subset of codomain.
  • f(x)f(x) → value at xx → unique output rule.
Non-function example on {1,2}\{1,2\}: pairs {(1,0),(1,1),(2,0)}\{(1,0),(1,1),(2,0)\} — input 11 has two outputs.

Injective, surjective, bijective

  • Injective (one-to-one): different inputs → different outputs. Fail if two inputs share an output.
  • Surjective (onto): every codomain element is hit. Fail if some bBb \in B never appears.
  • Bijective: both injective and surjective — inputs and outputs pair perfectly.
Mini-example: f:{1,2,3}{10,20,30}f : \{1,2,3\} \to \{10,20,30\} with f(1)=10,f(2)=20,f(3)=30f(1)=10, f(2)=20, f(3)=30 is bijective (finite sets, equal size, all distinct).

Pattern families

Easy — Membership and operations

  • List elements after union/intersection/complement with universal set stated.
  • Convert roster to set-builder when pattern is clear (even integers between 0 and 10).
  • Count A|A| after combining sets; use inclusion when asked “how many in AA or BB but not both”: ABAB|A \cup B| - |A \cap B| for symmetric difference size.

Medium — Subset and power set

  • List all subsets of a small set; confirm 2n2^n count for nn elements.
  • Decide whether XYX \subseteq Y from explicit rosters or interval containment.
  • Given UU and AA, describe AcA^c in roster form.

Hard — Relation vs function and mapping type

  • From a table of pairs, mark function or not; identify domain and range.
  • Decide injective/surjective from arrow diagram or table without computing formula.
  • Combine set ops with function definition: e.g. domain restricted to ABA \cap B.

Worked mini-examples

Example 1 — Union and complement. U={1,2,3,4,5}U = \{1,2,3,4,5\}, A={1,3,5}A = \{1,3,5\}, B={2,3,4}B = \{2,3,4\}.
AB={1,2,3,4,5}A \cup B = \{1,2,3,4,5\}, AB={3}A \cap B = \{3\}, (AB)c=(A \cup B)^c = \emptyset, AB={1,5}A \setminus B = \{1,5\}.
Example 2 — Power set size. S={a,b,c}S = \{a,b,c\}. S=3|S| = 3, so P(S)=23=8|\mathcal{P}(S)| = 2^3 = 8 subsets (including \emptyset and SS).
Example 3 — Function check. Rule g(x)=xg(x) = \sqrt{x} with domain {0,1,4,9}\{0,1,4,9\} and codomain {0,1,2,3}\{0,1,2,3\}: g(0)=0,g(1)=1,g(4)=2,g(9)=3g(0)=0, g(1)=1, g(4)=2, g(9)=3 — function, bijective on these finite sets.
Example 4 — Not injective. h:{1,2,3}{5,6}h : \{1,2,3\} \to \{5,6\} with h(1)=5,h(2)=5,h(3)=6h(1)=5, h(2)=5, h(3)=6. Function yes; not injective (11 and 22 collide).

Traps

  • Confusing \in (element) with \subseteq (subset). {1}{1,2}\{1\} \subseteq \{1,2\} but {1}{1,2}\{1\} \notin \{1,2\} as an element (unless nested).
  • Forgetting \emptyset is subset of every set.
  • Calling a relation a function when one input has two outputs in the table.
  • Range vs codomain: codomain is declared; range is what actually occurs.
  • Power set of {a}\{a\} is {,{a}}\{\emptyset, \{a\}\} — two elements, not one.

Diagnostic (try yourself)

  1. Let U={1,2,3,4,5,6}U = \{1,2,3,4,5,6\}, P={2,4,6}P = \{2,4,6\}, Q={1,2,3}Q = \{1,2,3\}. List all elements of (PQ)c(P \cup Q)^c.
  2. How many subsets does {w,x,y,z}\{w,x,y,z\} have? How many of those subsets contain ww?
  3. A relation on {0,1,2}\{0,1,2\} is given by pairs {(0,0),(1,0),(1,1),(2,2)}\{(0,0),(1,0),(1,1),(2,2)\}. Is it a function from {0,1,2}\{0,1,2\} to {0,1,2}\{0,1,2\}? If not, which input fails?
  4. Define f:{1,2,3,4}{5,6,7}f : \{1,2,3,4\} \to \{5,6,7\} by f(1)=5,f(2)=6,f(3)=7,f(4)=5f(1)=5, f(2)=6, f(3)=7, f(4)=5. Is ff injective? Surjective? Bijective?
  5. Express in roster form: {xZ:x2<10}\{x \in \mathbb{Z} : x^2 < 10\}.
Document outline

Keep your place and jump directly to a heading.

Table of Contents
System Normal // Awaiting Context

Intelligence Hub

Navigate the knowledge graph to generate context. The Hub adapts dynamically to surface backlinks, related notes, and metadata insights.