Mathematical-Reasoning Β· Unit 4 Β· Video 1 Β· Interactive Practice

Change the Set, Change the Truth: Sets, the Roster Method and Variables

IKey Formulas

IdeaExampleWhat it says
Roster methodC={βˆ’3,3}C = \{-3, 3\}the integer solutions of x2=9x^2 = 9, listed between braces
Dots in the middleD={1,3,5,…,49}D = \{1, 3, 5, \ldots, 49\}the dots only save writing: 2525 elements, last element 4949
Dots at an endF={2,4,6,…}F = \{2, 4, 6, \ldots\}the pattern continues and there is no last element
Variable with universal set UUy2βˆ’2yβˆ’15=0y^2 - 2y - 15 = 0over R\mathbb{R}: y=5y = 5 or y=βˆ’3y = -3; over N\mathbb{N}: only y=5y = 5

Key Insight: A set is well-defined when, for any object, we can decide whether it belongs. It need not be listable in full: the integers greater than 44 have no largest element, yet every integer is either in or out.

IIWhere the Dots Sit

Three dots continue a listed pattern: in the middle the list still ends; at an end it never does.

IIIOne Sentence, Four Universal Sets

Which values make a sentence true depends on the sentence and on the universal set its variable comes from.

IVTrue for a Whole Range

Some sentences are true on a whole interval, some for every value, some only at scattered natural numbers.

VQuiz Questions

Problem 1 Β· An Infinite Roster

Write the set of integers greater than βˆ’4-4 in roster form.

βœ… Correct! βˆ’4-4 is not greater than itself, so the smallest element is βˆ’3-3; there is no largest element, so the list ends in dots.
❌ Close, but… βˆ’4>βˆ’4-4 > -4 is false, so βˆ’4-4 is left out. The smallest element is βˆ’3-3.
❌ Not quite. That roster lists the integers less than βˆ’4-4. The integers greater than βˆ’4-4 lie to its right: βˆ’3,βˆ’2,βˆ’1,…-3, -2, -1, \ldots
❌ Not quite. This list stops at 33, but 44, 55, 66, … are also integers greater than βˆ’4-4. A set with no last element needs dots at the end.
❌ Not quite. Find the smallest integer greater than βˆ’4-4, then decide on which side the pattern continues.
Show solution

An integer nn belongs to the set exactly when n>βˆ’4n > -4. Since βˆ’4>βˆ’4-4 > -4 is false, βˆ’4-4 is left out, and the smallest element is βˆ’3-3.

Every integer above βˆ’3-3 also qualifies and there is no largest one, so the pattern continues to the right without end:

{βˆ’3,βˆ’2,βˆ’1,0,1,…}\{-3, -2, -1, 0, 1, \ldots\}

The dots go at the end only: there is a first element (βˆ’3-3) but no last element.

Problem 2 Β· Factor, Don't Divide

Write the set of real numbers that are solutions of x2βˆ’7x=0x^2 - 7x = 0 in roster form.

βœ… Correct! x(xβˆ’7)=0x(x - 7) = 0 gives x=0x = 0 or x=7x = 7, and both are real numbers.
❌ Close, but… Dividing both sides by xx assumes xβ‰ 0x \ne 0 and throws away the solution x=0x = 0: indeed 02βˆ’7β‹…0=00^2 - 7 \cdot 0 = 0. Factor instead.
❌ Not quite. xβˆ’7=0x - 7 = 0 gives x=7x = 7, not βˆ’7-7. Check: (βˆ’7)2βˆ’7(βˆ’7)=49+49=98β‰ 0(-7)^2 - 7(-7) = 49 + 49 = 98 \ne 0.
❌ Not quite. Those solve x2=7x^2 = 7. Here 77 multiplies xx: x2βˆ’7x=x(xβˆ’7)x^2 - 7x = x(x - 7).
❌ Not quite. Factor out xx and use that a product is zero exactly when at least one factor is zero.
Show solution

Factor out xx:

x2βˆ’7x=x(xβˆ’7)=0x^2 - 7x = x(x - 7) = 0

A product is zero exactly when at least one of its factors is zero, so x=0x = 0 or xβˆ’7=0x - 7 = 0, that is, x=0x = 0 or x=7x = 7.

Check: 02βˆ’7β‹…0=00^2 - 7 \cdot 0 = 0 βœ“ and 72βˆ’7β‹…7=49βˆ’49=07^2 - 7 \cdot 7 = 49 - 49 = 0 βœ“.

{0,7}\{0, 7\}

Problem 3 Β· Same Sentence, Two Universal Sets

Consider the sentence z2βˆ’zβˆ’12=0z^2 - z - 12 = 0 in the variable zz.

Universal set β„€: the integers that make it true

Universal set β„•: the natural numbers that make it true

βœ… Correct! Over Z\mathbb{Z} both 44 and βˆ’3-3 work; over N\mathbb{N} only 44 does. The sentence is the same; the universal set changed.
❌ Check the factoring. (zβˆ’3)(z+4)=z2+zβˆ’12(z - 3)(z + 4) = z^2 + z - 12, which has +z+z, not βˆ’z-z. The right factors are (zβˆ’4)(z+3)(z - 4)(z + 3).
❌ Close, but… βˆ’3-3 is an integer, so over Z\mathbb{Z} it stays: (βˆ’3)2βˆ’(βˆ’3)βˆ’12=9+3βˆ’12=0(-3)^2 - (-3) - 12 = 9 + 3 - 12 = 0.
❌ Close, but… βˆ’3-3 is not a natural number, so it is not a value the variable may take over N\mathbb{N}. Only 44 remains.
❌ Not quite. Factor: z2βˆ’zβˆ’12=(zβˆ’4)(z+3)z^2 - z - 12 = (z - 4)(z + 3), so z=4z = 4 or z=βˆ’3z = -3, and both are integers.
❌ Not quite. Of the two integer solutions 44 and βˆ’3-3, keep only those that are natural numbers.
Show solution

Find two numbers with product βˆ’12-12 and sum βˆ’1-1: they are βˆ’4-4 and 33. So

z2βˆ’zβˆ’12=(zβˆ’4)(z+3)=0,z^2 - z - 12 = (z - 4)(z + 3) = 0,

which is true exactly when z=4z = 4 or z=βˆ’3z = -3.

Check: 42βˆ’4βˆ’12=16βˆ’16=04^2 - 4 - 12 = 16 - 16 = 0 βœ“ and (βˆ’3)2βˆ’(βˆ’3)βˆ’12=9+3βˆ’12=0(-3)^2 - (-3) - 12 = 9 + 3 - 12 = 0 βœ“.

Universal set Z\mathbb{Z}: both 44 and βˆ’3-3 are integers, so the roster is {βˆ’3,4}\{-3, 4\}.

Universal set N\mathbb{N}: the natural numbers start at 11, so βˆ’3-3 is excluded and the roster is {4}\{4\}.

Problem 4 Β· Dots on One Side

An integer multiple of 55 is a number 5k5k with kk an integer. Write the set of integer multiples of 55 that are less than or equal to 1010 in roster form.

βœ… Correct! The largest element is 1010 and the pattern continues to the left with no first element, so the dots go on the left only.
❌ Not quite. kk may be zero or negative: 0=5β‹…00 = 5 \cdot 0, βˆ’5=5β‹…(βˆ’1)-5 = 5 \cdot (-1) and βˆ’10=5β‹…(βˆ’2)-10 = 5 \cdot (-2) are multiples of 55 that are at most 1010.
❌ Close, but… Dots on the right would continue the list past 1010 to 1515, 2020, …, which are greater than 1010. The list stops at 1010.
❌ Close, but… βˆ’5-5, βˆ’10-10, βˆ’15-15, … are also multiples of 55 that are at most 1010. The pattern continues to the left.
❌ Not quite. Decide where the list stops and in which direction the pattern continues.
Show solution

The integer multiples of 55 are …,βˆ’10,βˆ’5,0,5,10,15,…\ldots, -10, -5, 0, 5, 10, 15, \ldots, all of the form 5k5k.

The condition 5k≀105k \le 10 keeps exactly those with k≀2k \le 2: the largest element is 5β‹…2=105 \cdot 2 = 10, and 15,20,…15, 20, \ldots are excluded.

Every k≀2k \le 2 qualifies, including k=0,βˆ’1,βˆ’2,…k = 0, -1, -2, \ldots, so there is no smallest element. The dots go on the left only:

{…,βˆ’10,βˆ’5,0,5,10}\{\ldots, -10, -5, 0, 5, 10\}

Solved: 0 / 4