Advanced Calc. proof, about sets and intersection.

Click For Summary
SUMMARY

The discussion centers on the proof that set A is a subset of set B if and only if the intersection of A and B equals A, denoted as (A ∩ B) = A. The initial proof demonstrated that (A ∩ B) ⊆ A is valid. However, the challenge arose in proving the reverse implication. The key insight provided was that if an element x belongs to A, and A is a subset of B, then x must also belong to B, thereby confirming that x is in (A ∩ B).

PREREQUISITES
  • Understanding of set theory concepts, specifically subsets and intersections.
  • Familiarity with mathematical proof techniques, including direct proof and proof by contradiction.
  • Knowledge of logical implications in mathematical statements.
  • Basic notation and terminology used in set theory, such as ∩ (intersection) and ⊆ (subset).
NEXT STEPS
  • Study the properties of set intersections and unions in set theory.
  • Learn about the concept of equivalence relations in mathematics.
  • Explore advanced proof techniques in set theory, such as contrapositive proofs.
  • Review examples of subset proofs to solidify understanding of implications in set relations.
USEFUL FOR

Students studying set theory, mathematicians interested in formal proofs, and educators teaching foundational concepts in mathematics.

emira
Messages
7
Reaction score
0

Homework Statement


Prove that: A is a subset of B if and only if (A intersection B)=A


Homework Equations





The Attempt at a Solution

I tried proving the right side, that is

(A [tex]\cap[/tex] B)=A
For two sets to be equal then they have to be subsets of each other...so:

(A [tex]\cap[/tex] B) [tex]\subseteq[/tex] A and A [tex]\subseteq[/tex] (A [tex]\cap[/tex] B)
So if we assume an element x [tex]\in[/tex] (A[tex]\cap[/tex]B), then by definition, x[tex]\in[/tex]A and x [tex]\in[/tex]B. Thus we proved that (A[tex]\cap[/tex]B)[tex]\subseteq[/tex]A.

In not quite sure how to prove the opposite, because if x is an element of A, that doenst necessarily mean that x is an element of A[tex]\cap[/tex]B...so i need help with the rest of it..or if you got any other ideas on how to approach it.

Thank you,
Emira!
 
Physics news on Phys.org
emira said:

Homework Statement


Prove that: A is a subset of B if and only if (A intersection B)=A


Homework Equations





The Attempt at a Solution

I tried proving the right side, that is

(A [tex]\cap[/tex] B)=A
For two sets to be equal then they have to be subsets of each other...so:

(A [tex]\cap[/tex] B) [tex]\subseteq[/tex] A and A [tex]\subseteq[/tex] (A [tex]\cap[/tex] B)
So if we assume an element x [tex]\in[/tex] (A[tex]\cap[/tex]B), then by definition, x[tex]\in[/tex]A and x [tex]\in[/tex]B. Thus we proved that (A[tex]\cap[/tex]B)[tex]\subseteq[/tex]A.
Very good. That is exactly right!

In not quite sure how to prove the opposite, because if x is an element of A, that doenst necessarily mean that x is an element of A[tex]\cap[/tex]B...so i need help with the rest of it..or if you got any other ideas on how to approach it.

Thank you,
Emira![/QUOTE]
For the opposite, notice that you haven't used the hypothesis that A is a subset of B. If x is in A, then, because A is a subset of B it is also in B. Since it is in both A and B, it is in [itex]A\cap B[/itex]
Now you have to prove the implication the other way: If [itex]A\cap B\subseteq A[/itex] then [itex]A\subseteq B[/itex].
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
20
Views
5K
Replies
10
Views
2K