Question about proof from a guy with a highschool education

[micromass]

I shouldn't have included them since the notation was between ( ) and not [ ].

so $\{x \in R -1 < x < 1 \}$

I'm still getting used to these notations , never heard of such a concept before.

OK, good!

Try to experiment with the notation a bit, it's the best way to get comfortable with it. So the above answer is (-1,1), for example.

 

[reenmachine]

OK, good!

Try to experiment with the notation a bit, it's the best way to get comfortable with it. So the above answer is (-1,1), for example.

Good!

It pisses me off because I'm having a lot of fun , but I have to leave for school (if I want to ace these high school math exams sooner than later).I'll be back in 2 or 3 hours to try the last two which seems trickier.

thanks a lot for the help , if you have time to take a quick look when I come back I'll try to solve them!

cheers!

 

[reenmachine]

\bigcup_{x\in \mathbb{R}} (x,x+1)
.

screw school it can wait a couple of minutes , I'm giving this one a shot right away.

$\{ y\in R : \exists x \in R \ x < y < (x+1) \}$

 

[micromass]

Good!

It pisses me off because I'm having a lot of fun , but I have to leave for school (if I want to ace these high school math exams sooner than later).I'll be back in 2 or 3 hours to try the last two which seems trickier.

thanks a lot for the help , if you have time to take a quick look when I come back I'll try to solve them!

cheers!

Have fun!

In the meanwhile, let me explain yet another notation. We also have things like this

[a,+\infty) = \{x\in \mathbb{R}~\vert~a\leq x\}
(-\infty, a) = \{x\in \mathbb{R}~\vert x&lt;a\}

These are "half-rays" of real numbers. Try to draw them.
You can also make sense of things like $(-\infty,a]$ and such. But I think it's clear.

Again, the $\infty$ is just a symbol. It is not a real number so it is not included in the set. The bracket ")" should already indicate that we don't include $\infty$. We might include infinity by writing things like $[-\infty, a]$, but this notation is not used because $-\infty$ is not a number, so saying things like "including minus infinity" makes no sense. (actually, in higher mathematics, it does make sense, but I don't want to confuse you now. So just know that every time you encounter $\infty$, it will just be a symbol and not an actual number. This will always be the case until you learn things like analysis).

I actually prefer the notation $[a,\rightarrow )$ instead of $[a,+\infty)$ since the former makes no reference to a non-existent infinity, so it is less confusing. But it is a notation that is rarely used, so I won't use it either.

Now you know this, can you find the following:

\bigcap_{n=1}^{+\infty} [n,+\infty)

\bigcup_{n=1}^{+\infty} (-\infty,n)

 

[micromass]

screw school it can wait a couple of minutes , I'm giving this one a shot right away.

$\{ y\in R : \exists x \in R \ x < y < (x+1) \}$

Perfectly fine. But this set can be written a lot shorter. It is actually a very well-known set. Can you find which one it is? If you don't know, then just read it out loud. Then think which $y\in \mathbb{R}$ satisfy the condition or don't satisfy it.

 

[reenmachine]

Perfectly fine. But this set can be written a lot shorter. It is actually a very well-known set. Can you find which one it is? If you don't know, then just read it out loud. Then think which $y\in \mathbb{R}$ satisfy the condition or don't satisfy it.

Well I would guess it's just the set $R$

 

[micromass]

Well I would guess it's just the set $R$

Right!

 

[reenmachine]

Right!

Kind of funny that to define R we would use R multiple times in it's own definition.

 

[micromass]

Kind of funny that to define R we would use R multiple times in it's own definition.

Well, it's not a definition of $\mathbb{R}$. A definition would not use $\mathbb{R}$ anywhere.

 

[reenmachine]

I'm already back , teacher called in sick so I came back.I'm learning more here than at school anyway.

 

[reenmachine]

Have fun!

In the meanwhile, let me explain yet another notation. We also have things like this

[a,+\infty) = \{x\in \mathbb{R}~\vert~a\leq x\}
(-\infty, a) = \{x\in \mathbb{R}~\vert x&lt;a\}

I'm not sure I understand , in the first one , you have $[a$ and $\infty+)$ , what if $x = 4$ and $a = 2$ , this would satisfy $\{x\in \mathbb{R}~\vert~a\leq x\}$ yet would not satisfy $\infty+)$ since all positive numbers are excluded.

Or does $[a,+\infty)$ automatically qualify $a$ as 0 or a negative number? But if it does , how do you know by simply reading the notation $\{x\in \mathbb{R}~\vert~a\leq x\}$?

EDIT: I think I just understood , $\infty+$ isn't all positive numbers , it's just all numbers going in the positive direction starting from $a$? Does $a$ counts?

 

[micromass]

Why do you think all positive numbers are excluded. All $[a,+\infty)$ means is the set I wrote down.

 

[reenmachine]

Why do you think all positive numbers are excluded. All $[a,+\infty)$ means is the set I wrote down.

see edit

 

[micromass]

EDIT: I think I just understood , $\infty+$ isn't all positive numbers , it's just all numbers going in the positive direction starting from $a$? Does $a$ counts?

Correct, $[a,+\infty)$ is all number starting from a (with a included, going in the positive direction). But it's $+\infty$ and not $\infty+$.

If you don't want to include a, then it's $(a,+\infty)$.

Again, $\infty$ is just a symbol. It has no meaning.

 

[reenmachine]

Correct, $[a,+\infty)$ is all number starting from a (with a included, going in the positive direction). But it's $+\infty$ and not $\infty+$.

If you don't want to include a, then it's $(a,+\infty)$.

Again, $\infty$ is just a symbol. It has no meaning.

But in $[a,+\infty)$ , you exclude all larger numbers than $a$ (and $a$) from the set no? Because of the '')''.

So in $\{x \in R : a ≤ x \}$ , this is the set of all larger or equal numbers to $a$.I thought these were the numbers that we excluded.

 

[micromass]

But in $[a,+\infty)$ , you exclude all larger numbers than $a$ (and $a$) from the set no? Because of the '')''.

No. You're interpreting the notation somehow. The ")" in the notation does not mean "excluding" something (unlike in the other [a,b) notation). Here the notation is just defined as

[a,+\infty) = \{x\in \mathbb{R}~\vert~a\leq x\}

The ")" doesn't mean anything specific here.

If you want to understand the notation as "excluding" something,then you can see it as follows. Denote $+\infty$ as something (that is not a real number!) that is somehow larger than all real numbers. So $2<+\infty$ holds and $10000000000<+\infty$ holds. In fact, if $x$ is any real number, then $x<+\infty$ holds. The notation $[a,+\infty)$ just means all real numbers $x$ such that $a\leq x<+\infty$. So we exclude the "thing" $+\infty$. But since $x<+\infty$ holds for any real number $x$, we just write $a\leq x$. So if you want, you can interpret $[a,+\infty)$ as excluding a thing called $+\infty$ that is larger than all real numbers. This interpretation is problematic since it is not clear what $+\infty$ actually is. It is not a real number (by definition), but something else.

 

[reenmachine]

Ok , I think I understand it , but one thing that confuses me is what happens if $[a , +\infty]$ instead of $[a +\infty)$ ?

This is the set of $a$ , every larger real numbers and even the ''thing'' that is larger than real numbers?

 

[micromass]

Ok , I think I understand it , but one thing that confuses me is what happens if $[a , +\infty]$ ?

This is the set of $a$ , any larger real numbers and even the ''thing'' that is larger than real numbers?

Yes, that would be exactly what you describe.
But since the "thing" is not a real number itself, the set $[a,+\infty]$ would not be a subset of the real numbers. So if we only care about real numbers (like usual in calculus), then the set $[a,+\infty]$ is never used.

So although you can give meaning to $[a,+\infty]$, you will never see it used (except if you get to advanced math courses). The only sets you will see used is $[a,+\infty)$.

 

[reenmachine]

Yes, that would be exactly what you describe.
But since the "thing" is not a real number itself, the set $[a,+\infty]$ would not be a subset of the real numbers. So if we only care about real numbers (like usual in calculus), then the set $[a,+\infty]$ is never used.

So although you can give meaning to $[a,+\infty]$, you will never see it used (except if you get to advanced math courses). The only sets you will see used is $[a,+\infty)$.

Yes I intuitively figured this set wouldn't be used that often , if ever.

thanks a lot man!

 

[reenmachine]

\bigcap_{A\in \mathcal{P}(\mathbb{R})} A

Maybe something went over my head as I was thinking about this one , but could this simply be $\mathcal{P}(\mathbb{R})$?

The intersection of all elements of $\mathcal{P}(\mathbb{R})$ is $\mathcal{P}(\mathbb{R})$?

 

[micromass]

That's not correct.

 

[reenmachine]

Hmmm wait , $A \subset R$ , so $A \in \mathcal{P}(\mathbb{R})$.

If $R$ was to be $\{1,2\}$
$\mathcal{P}(\mathbb{R})$ would be $\{ \varnothing , \{1\} , \{2\}, \{1,2\}\}$.

These elements would originally comes from $R$ , but the problem is that they weren't elements but subsets.So that's why I'm hesitant before going with the answer ''$R$''.

 

[micromass]

$\{ \varnothing , \{1\} , \{2\}, \{1,2\} , \{1,\varnothing\} , \{2,\varnothing\} , \{1,2,\varnothing\}\}$.

This is not $\mathcal{P}(\{1,2\})$

Anyway, $\mathbb{R}$ is the wrong answer.

 

[reenmachine]

This is not $\mathcal{P}(\{1,2\})$

I was in the moon.

$\{ \varnothing , \{1\} , \{2\}, \{1,2\}\}$

there you go

 

[micromass]

OK, so let $E= \{1,2\}$. Can you find

\bigcap_{A\in \mathbb{P}(E)} A

This is the same as

\emptyset \cap \{1\} \cap \{2\} \cap \{1,2\}

 

[Fredrik]

I don't mean to interfere with the discussion, which seems to be going well. Just a little observation: You seem to sometimes be confusing unions with intersections. Intersections give us something smaller, unions something bigger: $$A\cap B\subseteq A\subseteq A\cup B.$$

 

[reenmachine]

OK, so let $E= \{1,2\}$. Can you find

\bigcap_{A\in \mathbb{P}(E)} A

This is the same as

\emptyset \cap \{1\} \cap \{2\} \cap \{1,2\}

1 and 2?

I admit I'm a bit confused

 

[micromass]

1 and 2?

I really don't understand how you got this.

 

[reenmachine]

Can the empty side intersect with anything anyway? In this case this would be the empty set?

How could nothing intersect with something.

 

[micromass]

Can the empty side intersect with anything anyway?

Why not??

What is $\emptyset \cap A$?? Apply the definition of the intersection.

In this case this would be the empty set?

Yes, but you should really try to understand why your previous answers were wrong and this is right.