1
$\begingroup$

I'm new to thinking about families of sets and am struggling with the following problem.

Compute and prove $\cap \mathcal A$ and $\cup\mathcal A$ if $\mathcal A=\{A\subseteq \Bbb R$ | if $A\neq \emptyset $ then $0\in A$}

I'm thinking that $\cap \mathcal A$ might be either $\emptyset$ or 0, but I'm unsure which. I'm thinking it's the former because if it was 0 then $0\in A \forall A\in \mathcal A$ but $\emptyset$ is a subset of the real line right, so $0\notin \ A$ when $A=\emptyset$.

As for $\cup \mathcal A$ I'm also unsure. I'm thinking it's either $\Bbb R$ or 0.

I think the reason I'm struggling with this is that on my brief experience in doing this before, the set A was an interval so you could define $A_1, A_2,...$ but here you can't do that...any help on getting me on the right track to thinking about this would be appreciated!

$\endgroup$
4
  • 1
    $\begingroup$ To get braces in mathjax, precede them with a backslash \$\{\}\$ $\endgroup$ Commented Sep 5, 2015 at 23:31
  • $\begingroup$ @PaulSinclair thank you. I'll try to fix that now $\endgroup$ Commented Sep 5, 2015 at 23:32
  • 1
    $\begingroup$ Note that $\emptyset \in \mathcal A$ and $\Bbb R \in \mathcal A$. That should clear up any confusion as to what the intersection and union are! $\endgroup$ Commented Sep 5, 2015 at 23:35
  • $\begingroup$ @PaulSinclair So the intersection is $\emptyset$ and the union is \Bbb R? Now just to prove it...thank you! $\endgroup$ Commented Sep 5, 2015 at 23:39

1 Answer 1

2
$\begingroup$

Well, first recall the definitions:

  • $x\in\bigcap\cal A$ if and only if for every $A\in\cal A$, $x\in A$.
  • $x\in\bigcup\cal A$ if and only if there is some $A\in\cal A$ such that $x\in A$.

And two basic properties, if $A\in\cal A$, then $\bigcap\mathcal A\subseteq A\subseteq\bigcup\cal A$.

Now let us look at $\cal A$. $A\in\cal A$ when the following is true, if $A\neq\varnothing$, then $0\in A$. Note that both $\varnothing$ and $\Bbb R$ are in $\cal A$. Use this and the above to find the wanted sets.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .