Proving Equivalence Statements in Real Analysis 1

  • Thread starter Thread starter phillyolly
  • Start date Start date
  • Tags Tags
    Analysis Proof
Click For Summary
SUMMARY

The discussion focuses on proving equivalence statements in Real Analysis 1, specifically from the textbook by Bartle and Sherbert. The equivalence relation discussed is (A ⊆ B) if and only if (A ∩ B = A). To establish this equivalence, two proofs are required: first, demonstrating that (A ⊆ B) implies (A ∩ B = A), and second, showing that (A ∩ B = A) implies (A ⊆ B). The proof process involves assuming the premises and logically deriving the conclusions.

PREREQUISITES
  • Understanding of set theory, particularly subset and intersection concepts.
  • Familiarity with equivalence relations in mathematical logic.
  • Basic knowledge of proof techniques in mathematics.
  • Experience with Real Analysis, specifically the content of Bartle and Sherbert's Real Analysis 1.
NEXT STEPS
  • Study the concept of equivalence relations in more depth.
  • Learn about proof techniques specific to Real Analysis, such as direct proof and proof by contraposition.
  • Review set operations and their properties in detail.
  • Explore additional examples of equivalence statements in mathematical literature.
USEFUL FOR

Students of Real Analysis, particularly those preparing for exams or seeking to strengthen their understanding of equivalence proofs. This discussion is beneficial for anyone looking to improve their proof-writing skills in mathematics.

phillyolly
Messages
157
Reaction score
0

Homework Statement



See attachment

Homework Equations





The Attempt at a Solution



It is not a homework. I am just reviewing for myself.
This is the very first, basic problem of the first chapter of Real Analysis 1 by Bartle and Sherbert. Proofs of Real Analysis don't make any sense to me.
 

Attachments

  • pic.jpg
    pic.jpg
    3.8 KB · Views: 384
Physics news on Phys.org
The "if and only if" denotes an equivalence relation between the two statements, i.e., we have [tex](A \subseteq B) \longleftrightarrow (A \cap B = A).[/tex] There are two steps necessary to proving an equivalence statement:

1. Show [tex](A \subseteq B) \rightarrow (A \cap B = A).[/tex]
2. Show [tex](A \cap B = A) \rightarrow (A \subseteq B).[/tex]

For both parts, we begin by assuming the respective premise.
For 1, we need to show that [tex]x \in (A \cap B) \rightarrow x \in A[/tex] and that [tex]x \in A \rightarrow x \in (A \cap B).[/tex]
For 2, we just need to show that [tex]x \in A \rightarrow x \in B.[/tex]
Do all this, and you have yourself a proof!
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 17 ·
Replies
17
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
6K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K