Axioms of Set Theory: Separation Axiom and Garling Theorem 1.2.2 .... ....

In summary, the conversation discusses the relationship between Theorem 1.2.2 and the Separation Axiom in D. J. H. Garling's book on mathematical analysis. The Separation Axiom is crucial in proving Theorem 1.2.2, as it justifies the existence of a set needed in the proof.
  • #1
Math Amateur
Gold Member
MHB
3,990
48
I am reading D. J. H. Garling: "A Course in Mathematical Analysis: Volume I Foundations and Elementary Real Analysis ... ...At present I am focused on Chapter 1: The Axioms of Set Theory and need some help with Theorem 1.2.2 and its relationship to the Separation Axiom ... ...

The Separation Axiom and Theorem 1.2.2 read as follows:
View attachment 6137

Garling argues that the Separation Axiom needs to be in place before we can prove Theorem 1.2.2 ... ... but I cannot see where the Separation Axiom is needed in the proof of Theorem 1.2.2 ...

Can someone give a clear explanation of exactly why we need the Separation Axiom in order to prove Theorem 1.2.2.

Help will be much appreciated ... ...

Peter
 
Physics news on Phys.org
  • #2
Hi Peter,

Peter said:
Garling argues that the Separation Axiom needs to be in place before we can prove Theorem 1.2.2 ... ... but I cannot see where the Separation Axiom is needed in the proof of Theorem 1.2.2 ...

The application of the Separation Axiom is what justifies the statement "and so there exists a set $b=\ldots$" The set $A$ in the axiom statement is $\Omega$ in the theorem. Does this help?
 

1. What is the Separation Axiom in set theory?

The Separation Axiom, also known as the Axiom of Separation, is a fundamental axiom in set theory that states that for any set A and any property P, there exists a subset of A that contains all elements of A that satisfy property P. This axiom allows us to separate elements of a set based on a given property.

2. What is the Garling Theorem 1.2.2 in set theory?

The Garling Theorem 1.2.2, also known as the Separation Theorem, is a theorem in set theory that states that for any set A and any property P, the set of all elements in A that satisfy property P is also a set. This theorem builds upon the Separation Axiom and is an important tool in proving other results in set theory.

3. How do the Separation Axiom and Garling Theorem 1.2.2 relate to each other?

The Separation Axiom is the fundamental axiom that allows us to separate elements of a set based on a property, while the Garling Theorem 1.2.2 is a theorem that builds upon this axiom. Together, they allow us to prove other important results in set theory.

4. What are some applications of the Separation Axiom and Garling Theorem 1.2.2 in mathematics?

The Separation Axiom and Garling Theorem 1.2.2 are used extensively in mathematical fields such as topology, real analysis, and abstract algebra. They are especially important in proving results related to sets and functions, as well as in constructing mathematical structures.

5. Are there any limitations to the Separation Axiom and Garling Theorem 1.2.2?

While the Separation Axiom and Garling Theorem 1.2.2 are powerful tools in set theory, they do have limitations. For example, they cannot be used to prove the existence of infinite sets or to define the universal set. Additionally, they rely on other axioms and definitions in set theory and cannot stand alone as the only principles for constructing mathematical structures.

Similar threads

I Set Theory: Separation Axiom and Garling's Theorem 1.2.2
    • Set Theory, Logic, Probability, Statistics
Replies
1
Views
1K
I ZFC .... Axioms of Foundation .... and Infinity ....
    • Set Theory, Logic, Probability, Statistics
Replies
4
Views
2K
MHB ZFC .... Axioms of Foundation .... and Infinity ....
    • Set Theory, Logic, Probability, Statistics
Replies
9
Views
3K
I Axiom of Infinity & Garling, Th. 1.7.4 & the successor set
    • Set Theory, Logic, Probability, Statistics
Replies
2
Views
2K
A First order logic and set theory: who comes first?
    • Set Theory, Logic, Probability, Statistics
Replies
2
Views
2K
MHB Axiom of Infinity and Garling, Theorem 1.7.4 - the successor set Z^+
    • Set Theory, Logic, Probability, Statistics
Replies
4
Views
2K
I Is an algorithm for a proof required to halt?
    • Set Theory, Logic, Probability, Statistics
Replies
3
Views
1K
MHB ZFC and the Axiom of Power Sets ....
    • Set Theory, Logic, Probability, Statistics
Replies
2
Views
1K
MHB Axioms of Set Theory .... and the Union of Two Sets ....
    • Set Theory, Logic, Probability, Statistics
Replies
2
Views
2K
A Formal axiom systems and the finite/infinite sets
    • Set Theory, Logic, Probability, Statistics
Replies
10
Views
1K

Hot Threads

Recent Insights

Back
Top