Well Ordered Sets: Disjoint Union w/ R, S, A x B

  • Thread starter Thread starter Kontilera
  • Start date Start date
  • Tags Tags
    Sets
Click For Summary
SUMMARY

The disjoint union of two well-ordered sets, (A, R) and (B, S), is well-ordered by the relation R ∪ S ∪ A × B. This relation establishes that all elements of set A are less than all elements of set B, creating a total ordering. The key to proving this is demonstrating that any subset of A ∪ B has a least element, which is guaranteed by the well-ordering of both A and B. The discussion emphasizes the importance of understanding ordered pairs and their implications in set theory.

PREREQUISITES
  • Understanding of well-ordered sets
  • Familiarity with relations and ordered pairs
  • Knowledge of set theory concepts
  • Basic grasp of total ordering principles
NEXT STEPS
  • Study the properties of well-ordered sets in depth
  • Learn about the construction of ordered pairs in set theory
  • Explore the implications of total ordering on subsets
  • Investigate examples of disjoint unions in mathematical contexts
USEFUL FOR

Mathematicians, students of set theory, and anyone interested in the foundations of order relations and their applications in mathematics.

Kontilera
Messages
176
Reaction score
24

Homework Statement


Show that for two well ordered sets, (A, R) and (B, S), the disjoint union of A and B will be well ordered by the relation [tex]R \cup S \cup A \times B[/tex].

The Attempt at a Solution


...
I honesly don't know how to start at this one..
 
Physics news on Phys.org
Well let's start by describing the ordering that they suggest.

An ordering is a relation which is a set of ordered pairs. If (x,y) belongs to the relation then x<y. So we have the set of ordered pairs R union S union AxB. AxB is the set (a,b) where a is from A and b is from B. By this ordering all elements of A are less than all elements of B.

So given any two elements of A union B, can you compare them? If so, then this is a total ordering.

Given any subset of A union B, is there a least element? Think of it in terms of the number line. All the elements of A are to the left of all the elements of B. And A and B are themselves well ordered.

Hope that helps.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 6 ·
Replies
6
Views
3K
Replies
3
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
2
Views
2K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K