ThatQuiz Test Library Take this test now
Kőnig's theorem (set theory) - Quiz
Contributed by: Blake
  • 1. Which set theory framework is assumed for the proof of Kőnig's theorem provided?
A) Zermelo–Fraenkel set theory including the axiom of choice
B) Peano arithmetic
C) Intuitionistic set theory
D) Zermelo–Fraenkel set theory without choice
  • 2. What is the requirement for the index set I in the theorem?
A) I must be a finite set
B) I must be a well-ordered set
C) There is no specific constraint given for I
D) I must be a countable set
  • 3. What is the condition provided for all i in I regarding A_i and B_i?
A) A_i = B_i
B) A_i > B_i
C) A_i < B_i
D) A_i ≤ B_i
  • 4. What does the axiom of choice imply regarding the condition A < B?
A) There is a bijection between A and B
B) There is no function from A onto B and B is nonempty
C) A is a subset of B
D) B is a subset of A
  • 5. How is the non-emptiness of the product of B_i proven?
A) By proving the index set is finite
B) By assuming the product is infinite
C) Using the axiom of choice and the fact that factors are nonempty
D) By definition of the summation
  • 6. What does the proof show about any function f from the disjoint union of A_i to the product of B_i?
A) That the function is bijective
B) That the function is not surjective
C) That the function is injective
D) That the function is constant
  • 7. For each i, what element is chosen in the proof?
A) The union of all A_i
B) The product of all B_i
C) An element b_i in B_i not in the image of A_i
D) An element a_i in A_i
  • 8. The image of A_i is obtained through the composition of f with what?
A) The identity function
B) The projection to B_i
C) The product over I
D) The summation over I
  • 9. Why is the product of elements b_i not in the image of f?
A) Because the function f is surjective
B) Because each component does not match the image of f
C) Because the product is empty
D) Because A_i is empty
  • 10. What conclusion is drawn from the fact that the product of b_i is not in the image of f?
A) f is injective
B) f is a constant function
C) f does not map the disjoint union of A_i onto the product of B_i
D) the product is equal to the sum
  • 11. For a cardinal κ ≥ ℵ₀, what is the relationship between κ and κcf(κ)?
A) κ < κcf(κ)
B) κ = κcf(κ)
C) κ ≤ κcf(κ)
D) κ > κcf(κ)
  • 12. If κ is regular, the inequality κ < κcf(κ) follows from which theorem?
A) Easton's theorem
B) Zorn's lemma
C) Cantor's theorem
D) Well-ordering theorem
  • 13. What is true about the sum of cardinals approaching a singular cardinal κ?
A) The sum is undefined
B) The sum equals κ
C) The sum is greater than κ
D) The sum is less than κ
  • 14. What theorem provides the only nontrivial constraint on the continuum function for regular cardinals?
A) Easton's theorem
B) Schröder-Bernstein theorem
C) Cantor's theorem
D) Kőnig's theorem
  • 15. For κ ≥ ℵ₀ and λ ≥ 2, what is the relationship between κ and cf(λ^κ)?
A) κ < cf(λ^κ)
B) κ ≤ cf(λ^κ)
C) κ > cf(λ^κ)
D) κ = cf(λ^κ)
  • 16. In the proof of κ < cf(λ^κ), what contradiction is reached if κ ≥ cf(μ) (where μ = λ^κ)?
A) μ < μ
B) μ = 0
C) μ is empty
D) μ > μ
  • 17. What mathematical relationship does Kőnig's theorem imply for any cardinal κ?
A) κ + 1 = 2^κ
B) κ > 2^κ
C) κ = 2^κ
D) κ < 2^κ
  • 18. Was Cantor's theorem proved before or after Kőnig's theorem?
A) Much later
B) It remains unproven
C) At the same time
D) Much earlier
Created with That Quiz — the math test generation site with resources for other subject areas.