[a / b / c / d / e / f / g / gif / h / hr / k / m / o / p / r / s / t / u / v / vg / vm / vmg / vr / vrpg / vst / w / wg] [i / ic] [r9k / s4s / vip / qa] [cm / hm / lgbt / y] [3 / aco / adv / an / bant / biz / cgl / ck / co / diy / fa / fit / gd / hc / his / int / jp / lit / mlp / mu / n / news / out / po / pol / pw / qst / sci / soc / sp / tg / toy / trv / tv / vp / vt / wsg / wsr / x / xs] [Settings] [Search] [Mobile] [Home]
Board
Settings Mobile Home
/sci/ - Science & Math

Name
Options
Comment
Verification
4chan Pass users can bypass this verification. [Learn More] [Login]
File
  • Please read the Rules and FAQ before posting.
  • Additional supported file types are: PDF
  • Use with [math] tags for inline and [eqn] tags for block equations.
  • Right-click equations to view the source.

08/21/20New boards added: /vrpg/, /vmg/, /vst/ and /vm/
05/04/17New trial board added: /bant/ - International/Random
10/04/16New board for 4chan Pass users: /vip/ - Very Important Posts
[Hide] [Show All]


[Advertise on 4chan]


Hey I'm new to set theory. I was asked to prove:

>Prove there is a unique set A in the power set of U such that for every B in the power set of U, the intersection of A and B is equal to A.

Is my proof valid?

>Suppose A is an element of P(U). Let A = the empty set. Since the intersection of any set with the empty set is the empty set, then for every subset B that is an element of P(U), the intersection of A and B is A. Thus there exists an A in P(U) such that the intersection of A and B is A.

>Suppose A' is an element of P(U) such that the intersection of A' and B is A'. Suppose B=A, then the intersection of A' with A is simply A'. But since A is the empty set, then the intersection of A with A' is A. Thus we can conclude that A=A'. This proves uniqueness.

Correct or am I retarded?

>inb4 hurr homework question durrr
Not homework, teaching myself from a text book.
>>
Looks gud
>>
>>16487355
Thanks I was honestly struggling for a bit with questions like these until I realized you just kinda need to play around for a bit and figure out what works. Basically just guessing until something works out and then trying to figure out the best way to write it out in English paragraphs.
>>
>>16487359
Pretty much. And as you solve more problems in a any area of math, you get a better intuition on which ideas work.
>>
>>16487334
100%

If you want you can work on your clarity a bit (rather than "Suppose A..." go with "Take [math]\emptyset[/math]...", maybe begin each part with "To prove existence" and "To prove uniqueness,") but that's in preparation for a hypothetical future when you're doing this for communication rather than your own enrichment.
>>
>>16487391
Thank you for the advice fren
>>
>>16487334
>Suppose A is an element of P(U). Let A = the empty set.
The two contradict each other. You want either A to be an arbitrary element of P(U) or the empty set. Just skip the first sentence.
Everything else is good in the first paragraph.
>Suppose A' is an element of P(U) such that the intersection of A' and B is A'.
Didn't explain what B is.
>Suppose B=A, then the intersection of A' with A is simply A'.
A is no longer in this scope. Just use empty set instead of A, it's clearer this way.
>Suppose B=A, then the intersection of A' with A is simply A'. But since A is the empty set, then the intersection of A with A' is A. Thus we can conclude that A=A'. This proves uniqueness.
This is long and confused. I would simply say that
>If A satisfies the property, then the intersection of A with the empty set is A, but the intersection of any set with the empty set is the empty set, therefore A must be the empty set. This proves uniqueness.

Your proof is valid but you really need to work on your style and clarity.
>>
>>16487683
Join your fart with mine in timed fart event.

3...

2...(Go)

1...

Go. Fart now
>>
>>16487683
Let me guess, you're a virgin aren't you?



[Advertise on 4chan]

Delete Post: [File Only] Style:
[Disable Mobile View / Use Desktop Site]

[Enable Mobile View / Use Mobile Site]

All trademarks and copyrights on this page are owned by their respective parties. Images uploaded are the responsibility of the Poster. Comments are owned by the Poster.