Hi - I'm taking a linear algebra course and the first few chapters are on set theory. I'm having trouble with a very simple proof and I'd like some help on it.
Let S and T be groups. Given T⊆S prove:
a) S∩T=T
b) S∪T=S
I know these are very simple proofs but please keep in mind (and I know it's ridiculous) I was never taught proofs in high school, so the concept of proving something quite obvious is new to me.
Here's my shot at it:
a) Let x∈T
- And since T⊆S, then x∈S
- Which means x∈S∩T
- And of course, S∩T⊆S
- And since S∩{x|{x}⊆S}={x|{x}⊆S}
- It is implied that S∩T=T
b) Let x∈T and y∈S
- Since S∩T={x,y | x∈T , y∈S} and it is given that T⊆S
- And we already know that x∈T⇒x∈S
- Then the previous statement can be rewritten as S∪T={x,y | x∈S,y∈S}
- Which obviously implies that in fact S∪T={x | x∈S}
- So S∪T=S
Can anyone tell me if these proofs are correct and if not, explain them in similar terms so I can improve my strategies?