Lesson test: Order

Sign in

Libre University uses your GitHub account. Signing in is only needed to sit a final test, so the score is kept on your profile.

Order

1.[2p]
Which of these relations are partial orders?

Select all that apply

$\leq$ on $ℝ$

Correct

$\subseteq$ on $P (X)$ , for a set $X$

Correct

Divisibility on $ℕ$

Correct

Divisibility on $ℤ$

The answer is: $\le$ on $ℝ$, $\subseteq$ on $\mathcal{P}(X)$, for a set $X$, Divisibility on $ℕ$

$<$ on $ℝ$

The answer is: $\le$ on $ℝ$, $\subseteq$ on $\mathcal{P}(X)$, for a set $X$, Divisibility on $ℕ$

" $x + y$ is even" on $ℤ$

The answer is: $\le$ on $ℝ$, $\subseteq$ on $\mathcal{P}(X)$, for a set $X$, Divisibility on $ℕ$

2.[1p]
A relation that is symmetric cannot also be antisymmetric.

True

The answer is: False

False

Correct

3.[2p]
Divisibility on $ℤ$ is not a partial order. Which property fails, and what shows it?

Antisymmetry: $2 ∣ - 2$ and $- 2 ∣ 2$ , yet $2 \neq - 2$

Correct

Reflexivity: $0$ does not divide $0$

The answer is: Antisymmetry: $2 \mid -2$ and $-2 \mid 2$, yet $2 \ne -2$

Transitivity: $2 ∣ 4$ and $4 ∣ - 8$ , yet $2$ does not divide $- 8$

The answer is: Antisymmetry: $2 \mid -2$ and $-2 \mid 2$, yet $2 \ne -2$

Totality: $2$ and $3$ are incomparable

The answer is: Antisymmetry: $2 \mid -2$ and $-2 \mid 2$, yet $2 \ne -2$

4.[2p]
Which of these are total orders?

Select all that apply

$\leq$ on $ℚ$

Correct

Divisibility on ${1, 2, 4, 8}$

Correct

Divisibility on ${1, 2, 3, 6}$

The answer is: $\le$ on $ℚ$, Divisibility on $\{1, 2, 4, 8\}$

$\subseteq$ on $P ({1, 2})$

The answer is: $\le$ on $ℚ$, Divisibility on $\{1, 2, 4, 8\}$

5.[2p]
The Hasse diagram of the divisors of $30$ under divisibility draws one line for each covering pair. How many lines does it have?

CorrectNot quite: 12

6.[3p]
Match each poset to the description that fits it.

${1, 2, 3, 4, 6}$ under divisibility
The divisors of $12$ under divisibility
$ℕ$ under $\leq$
$ℤ$ under $\leq$

a greatest element, which is the only maximal one
a least element and no maximal element
no maximal and no minimal element
two maximal elements and no greatest element

Show the answer

${1, 2, 3, 4, 6}$ under divisibility: two maximal elements and no greatest element The divisors of $12$ under divisibility: a greatest element, which is the only maximal one $ℕ$ under $\leq$ : a least element and no maximal element $ℤ$ under $\leq$ : no maximal and no minimal element

7.[1p]
What is $\sup {1 - \frac{1}{n} : n \in ℕ}$ in $ℝ$ ?

$1$ , which is not an element of the set

Correct

$1$ , which is the greatest element of the set

The answer is: $1$, which is not an element of the set

$\frac{1}{2}$ , the largest element that can be written down

The answer is: $1$, which is not an element of the set

It does not exist, because the set has no greatest element

The answer is: $1$, which is not an element of the set

8.[3p]
Let $T = {q \in ℚ : q^{2} < 2}$ , ordered by $\leq$ . Which statements are true?

Select all that apply

$T$ is bounded above in $ℚ$

Correct

$1.42$ is an upper bound of $T$

Correct

$1.414$ is an upper bound of $T$

The answer is: $T$ is bounded above in $ℚ$, $1.42$ is an upper bound of $T$, Viewed as a subset of $ℝ$, $T$ has supremum $\sqrt{2}$

$T$ has a least upper bound in $ℚ$

The answer is: $T$ is bounded above in $ℚ$, $1.42$ is an upper bound of $T$, Viewed as a subset of $ℝ$, $T$ has supremum $\sqrt{2}$

Viewed as a subset of $ℝ$ , $T$ has supremum $\sqrt{2}$

Correct

9.[2p]
Put the lines of the proof that $\subseteq$ is transitive in order.

Let $A \subseteq B$ and $B \subseteq C$ .
Since $x$ was arbitrary, $A \subseteq C$ .
Let $x \in A$ .
Since $B \subseteq C$ , $x \in C$ .
Since $A \subseteq B$ , $x \in B$ .

Show the answer

a, b, c, d, e

1.[2p] Which of these relations are partial orders?

2.[1p] A relation that is symmetric cannot also be antisymmetric.

3.[2p] Divisibility on ℤ is not a partial order. Which property fails, and what shows it?

4.[2p] Which of these are total orders?

5.[2p] The Hasse diagram of the divisors of 30 under divisibility draws one line for each covering pair. How many lines does it have?

6.[3p] Match each poset to the description that fits it.

7.[1p] What is sup{1-1n:n∈ℕ} in ℝ?

8.[3p] Let T={q∈ℚ:q2<2}, ordered by ≤. Which statements are true?

9.[2p] Put the lines of the proof that ⊆ is transitive in order.

1.[2p]
Which of these relations are partial orders?

2.[1p]
A relation that is symmetric cannot also be antisymmetric.

3.[2p]
Divisibility on $ℤ$ is not a partial order. Which property fails, and what shows it?

4.[2p]
Which of these are total orders?

5.[2p]
The Hasse diagram of the divisors of $30$ under divisibility draws one line for each covering pair. How many lines does it have?

6.[3p]
Match each poset to the description that fits it.

7.[1p]
What is $\sup {1 - \frac{1}{n} : n \in ℕ}$ in $ℝ$ ?

8.[3p]
Let $T = {q \in ℚ : q^{2} < 2}$ , ordered by $\leq$ . Which statements are true?

9.[2p]
Put the lines of the proof that $\subseteq$ is transitive in order.