Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given a set $A$ such that for any family of sets $F$: if $\cup F = A$ then $A \in F$.

Prove that $A$ has only one element.

Please help.

Thank you all.

I tried to solve it by assuming that there are two elements in $A$. But I can't solve it.

share|cite|improve this question
Are you sure $\,F\,$ is to a family of groups and not of sets? Otherwise the cyclic group of order two is a contradiction to the claim... – DonAntonio Nov 28 '12 at 3:18
@DonAntonio, you are right. I translated the word to english and use a group instead of a set. – Alon Shmiel Nov 28 '12 at 10:27
Ok then. Take into account that when you have some doubt you can try to write down some words or sentences in your own language. There's a fair chance somebody knows that language and can help you out. Also change your post's title. – DonAntonio Nov 28 '12 at 11:57
up vote 2 down vote accepted

Well: if $\,|A|\geq 2\,$ then the family $\,\mathcal F:=\{\,\{a\}\;\;;\;\;a\in A\}\,$ fulfills the given condition

$$\bigcup_{F\in\mathcal F}F=A\,\,\,,\,\,\text{yet}\,\,A\notin\mathcal F\,\;\;(\text{can you see why?)}$$

Thus, it must be that $\,|A|=1\,$

share|cite|improve this answer
can you give me an exaple of A and F? I think I dont really know what is F.. thank you! – Alon Shmiel Nov 28 '12 at 14:14
For example take the simplest non-trivial group, the cyclic one of order two: $\,A=\{1,x\}\,\,,\,x^2=1\,$, and take $\,\mathcal F=\{\{1\}\,,\,\{x\}\}\,$ ...:) – DonAntonio Nov 28 '12 at 14:15
I know why but i dont know how to explain it.. the answer is: A doesn't belong to F because of the definition of F.. – Alon Shmiel Nov 28 '12 at 14:20
@AlonShmiel, by any chance is your mother tongue hebrew or spanish? If it is I could explain it to you in that language. WE see here an example of a group that doesn't fulfill the condition $\,\bigcup_{F\in\mathcal F}F=A\Longrightarrow A\in\mathcal F\,$, and the reason is that $\,A\,$ has more than one element...I don't know how or what else is there to explain. – DonAntonio Nov 28 '12 at 16:05

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.