Math Is Fun Forum

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

You are not logged in.

#1 2007-03-05 14:35:07

dchilow
Member
Registered: 2007-03-05
Posts: 27

I need help with Absract Math! Due Wed. at 12:30

I am lost on this proof.

Let A be a set such that If S is an element of A, then S is contained in A, and let P(A) be the power set of A.  Prove that if S is an element of P(A), then S is contained in P(A).

P(A) is the power set of A.

Please someone know what this stuff is!!!!!!dunno

Offline

#2 2007-03-05 14:49:43

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: I need help with Absract Math! Due Wed. at 12:30

Last edited by JaneFairfax (2007-03-05 14:56:07)

Offline

#3 2007-03-05 15:02:25

dchilow
Member
Registered: 2007-03-05
Posts: 27

Re: I need help with Absract Math! Due Wed. at 12:30

Thank you very much.

Offline

#4 2007-03-05 15:48:37

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: I need help with Absract Math! Due Wed. at 12:30

You’re welcome. Can you follow the proof all right?

Offline

#5 2007-03-05 17:04:20

dchilow
Member
Registered: 2007-03-05
Posts: 27

Re: I need help with Absract Math! Due Wed. at 12:30

Yes, you got me off on the right start.  I appreciate it.

Offline

#6 2007-03-05 17:35:18

sumpm1
Member
Registered: 2007-03-05
Posts: 42

Re: I need help with Absract Math! Due Wed. at 12:30

Hi, I am new to the boards. I was wondering how people get their equation symbols into their posts, like Jane did above. You can also just cop and paste the symbols from the top of this page, correct?

Offline

#7 2007-03-06 00:37:03

mathsyperson
Moderator
Registered: 2005-06-22
Posts: 4,900

Re: I need help with Absract Math! Due Wed. at 12:30

Welcome to the forum!

You can indeed copy and paste the symbols from the top of the page, that's mainly why they're there.

To get maths symbols like Jane did, you need to enclose some LaTeX code in [math] tags.
So, you'd put {math}*your code*{/math}, but with [] instead of {}.

We have a very good LaTeX tutorial here.


Why did the vector cross the road?
It wanted to be normal.

Offline

#8 2007-03-06 17:02:54

dchilow
Member
Registered: 2007-03-05
Posts: 27

Re: I need help with Absract Math! Due Wed. at 12:30

I submitted a first draft to the teacher yesterday and he had a problem with me using "S" as an element of the set A, when S is just all of the elements of the set A. Tell me if you see any problems before I submit this assignment.

ma315hw08oz8.png

Offline

#9 2007-03-06 18:20:57

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: I need help with Absract Math! Due Wed. at 12:30

I’m sorry, but I don’t really like it. down

What your proof needs is a bit more organization of thought. First, you focus on what are you trying prove. What are you trying to prove? Namely, that if S is a member of P(A) then S is a subset of P(A). Then you think of how to go about proving it. For this particular problem, it’s absolutely straightforward. Namely, you assume S ∊ P(A), and then you try, by a series of deductions, to arrive at S ⊆ P(A).

In general, when you want to prove a statement of the form P ⇒ Q, you can use one of three methods. (i) The most straightforward way is to assume P and then, by a series of deductions, try and arrive at Q. (ii) You can also assume that Q is false and show that this would lead to P being false. This is known as a contrapositive proof. (iii) The third method is proof by contradiction. Assume that P is true but Q is false, then show that this would lead to a contradiction.

For this particular problem, method (i) is the one to use. What’s more I’ve already shown you how to do it (see above). wink

EDIT: Maybe I’ll explain part of my proof in more detail. Up to SA should be straightforward. Now SA means S is a set of members of A. But A has property that each of its members is also a subset of A. Since the members of S are members of A, we see that the members of S are all subsets of A. So S is a set of subsets of A. Now carry on with the proof.

Last edited by JaneFairfax (2007-03-06 18:32:03)

Offline

Board footer

Powered by FluxBB