Math Is Fun Forum

  Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

#1 2014-05-01 20:49:53

Agnishom
Real Member
From: Riemann Sphere
Registered: 2011-01-29
Posts: 24,974
Website

Set Theory Identity

Prove that:


'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.

Offline

#2 2014-05-01 21:00:54

Nehushtan
Member
Registered: 2013-03-09
Posts: 957

Re: Set Theory Identity

What does
mean?


240 books currently added on Goodreads

Offline

#3 2014-05-01 21:24:51

Agnishom
Real Member
From: Riemann Sphere
Registered: 2011-01-29
Posts: 24,974
Website

Re: Set Theory Identity

Fo7a2Z9.jpg


'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.

Offline

#4 2014-05-01 21:56:05

Bob
Administrator
Registered: 2010-06-20
Posts: 10,052

Re: Set Theory Identity

Looks to me like you have 'proved' it with the diagrams.  All you need to do is convert that into set statements and it is done.

Bob


Children are not defined by school ...........The Fonz
You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei
Sometimes I deliberately make mistakes, just to test you!  …………….Bob smile

Offline

#5 2014-05-01 22:05:17

Agnishom
Real Member
From: Riemann Sphere
Registered: 2011-01-29
Posts: 24,974
Website

Re: Set Theory Identity

What are set statements?


'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.

Offline

#6 2014-05-01 22:31:41

Nehushtan
Member
Registered: 2013-03-09
Posts: 957

Re: Set Theory Identity

Something is wrong with your question.


240 books currently added on Goodreads

Offline

#7 2014-05-01 22:43:43

Agnishom
Real Member
From: Riemann Sphere
Registered: 2011-01-29
Posts: 24,974
Website

Re: Set Theory Identity

Sorry, it is supposed to be This:
Prove that:

I can figure it out myself if you can explain how to get the third line fromt the second

Last edited by Agnishom (2014-05-01 22:47:05)


'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.

Offline

#8 2014-05-01 22:51:15

Bob
Administrator
Registered: 2010-06-20
Posts: 10,052

Re: Set Theory Identity

Hmmm.  I'm getting Nehushtan's result too, using your definition:

Bob


Children are not defined by school ...........The Fonz
You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei
Sometimes I deliberately make mistakes, just to test you!  …………….Bob smile

Offline

#9 2014-05-01 22:52:02

Bob
Administrator
Registered: 2010-06-20
Posts: 10,052

Re: Set Theory Identity

Ah! just seen your correction.  Revised version coming up.

Bob


Children are not defined by school ...........The Fonz
You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei
Sometimes I deliberately make mistakes, just to test you!  …………….Bob smile

Offline

#10 2014-05-01 22:52:50

Nehushtan
Member
Registered: 2013-03-09
Posts: 957

Re: Set Theory Identity

Agnishom wrote:

Sorry, it is supposed to be This:
Prove that:

That’s better. smile

and it is easy to see that

.

Last edited by Nehushtan (2014-05-01 22:56:57)


240 books currently added on Goodreads

Offline

#11 2014-05-01 22:56:03

Bob
Administrator
Registered: 2010-06-20
Posts: 10,052

Re: Set Theory Identity

Bob


Children are not defined by school ...........The Fonz
You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei
Sometimes I deliberately make mistakes, just to test you!  …………….Bob smile

Offline

#12 2014-05-01 22:57:12

Agnishom
Real Member
From: Riemann Sphere
Registered: 2011-01-29
Posts: 24,974
Website

Re: Set Theory Identity

Nehushtan,

I see it all. The problem seems to be with the proof.

Please Tell me how I can show

bob,

Sorry, I do not get it.

Last edited by Agnishom (2014-05-01 22:58:14)


'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.

Offline

#13 2014-05-01 23:04:00

Bob
Administrator
Registered: 2010-06-20
Posts: 10,052

Re: Set Theory Identity

Oh. 

line 1: I used your definition for the triangly thing.

line 2: I simplified it.  Couldn't make a dash work as in A-dash = not A so I used a wobbly over tilde thingy.

phi is the empty set.

As for this:

Use the distributivity laws

In A AND in the union = just A

Bob


Children are not defined by school ...........The Fonz
You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei
Sometimes I deliberately make mistakes, just to test you!  …………….Bob smile

Offline

#14 2014-05-01 23:12:42

Agnishom
Real Member
From: Riemann Sphere
Registered: 2011-01-29
Posts: 24,974
Website

Re: Set Theory Identity

What did you simplify in line 2? How is this relevant?


'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.

Offline

#15 2014-05-02 00:23:45

Bob
Administrator
Registered: 2010-06-20
Posts: 10,052

Re: Set Theory Identity

I'll try it in more detail:

So A big triangled with the intersection is (A less the intersection) united with (the intersection less A)

A less  the intersection is the bits of A without the bits in B.

The intersection without A is nothing at all so the empty set.

Unite these.

But everything in a set plus the empty set is still just that set so

This is just the definition of \, hence

Bob


Children are not defined by school ...........The Fonz
You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei
Sometimes I deliberately make mistakes, just to test you!  …………….Bob smile

Offline

#16 2014-05-02 00:28:45

Nehushtan
Member
Registered: 2013-03-09
Posts: 957

Re: Set Theory Identity

Agnishom wrote:

Please Tell me how I can show


Note that
is a subset of
. In general, if
then
.

Proof:

We must prove that both

and
.

is clear since
is a subset of
.

To prove the other inclusion, suppose

and let
.
. If
we are done. If
then, since
, we have
as well. In either case
. Hence
.


240 books currently added on Goodreads

Offline

#17 2014-05-02 02:11:09

Agnishom
Real Member
From: Riemann Sphere
Registered: 2011-01-29
Posts: 24,974
Website

Re: Set Theory Identity

Hmm..

Thanks,


'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.

Offline

Board footer

Powered by FluxBB