« first day  last day (14 days later) » 

12:27 AM
just got this!
 
@copper.hat I want to answer the following question: Is there an infinte set each chain of which is countable?
@copper.hat If $B$ is countable we take a bijection between $B$ and $\mathbb{N}$.
If $B$ is uncountable, it has a countable subset $B'$. We take a bijection between $B'$ and $\mathbb{N}$.
Then we take a bijection between $\mathbb{N}$ and $\mathbb{Q}$.
We define the set $\Gamma_r=\{x \in \mathbb{Q} \mid x<r\}, r \in \mathbb{R}$.
This set defines an injective order-preserving map from $\mathbb{R}$ to $\mathcal{P}(\mathbb{Q})$.
$\{\Gamma_r\}$ is a chain because if $r<s$ then $\{x\in\Bbb Q:x<r\}\subset\{ x\in\Bbb Q:x<s\}$ and it is uncountable because of the following:
@copper.hat If so , how can we justify that this is an uncountable chain of $B$ ?
 
will check later, gotta make dinner!
 
 
2 hours later…
2:05 AM
@copper.hat I changed it
Let $B$ be an infinite set. It has an infinite countable subset $B'$.
Since $\mathbb{Q}$ in countable, we can take a bijection between $B'$ and $\mathbb{Q}$.
We define the set $\Gamma_r=\{x \in \mathbb{Q} \mid x<r\}, r \in \mathbb{R}$.
$\{\Gamma_r\}$ is a chain because if $r<s$ then $\{x\in\Bbb Q:x<r\}\subset\{ x\in\Bbb Q:x<s\}$ and it is uncountable because the $\Gamma_r$s are distinct and there are uncountably many reals.
We have a bijection between $B'$ and $\mathbb{Q}$, so there is also a bijection between $\mathcal{P}(B')$ and $\mathcal{P}(\mathbb{Q})$.
 
2:21 AM
@copper.hat Or is the conclusion wrong?
 
hi Evinda, i'm not sure what you mean by a chain. for me a chain is a subset of a partially ordered space in which every pair of elements is comparable.
 
@copper.hat Hi!!! A family of sets is called chain if any two sets of the family are comparable, i.e. the first set contains the second or the second the first.
 
2:54 AM
i see, that would be the similar to my definition using inclusion as the order.
your reasoning looks good to me. was there something about it that you thought was questionable?
 
@copper.hat I was ondering if the following is right.
Each chain of $B'$ is a subset of $\mathcal{P}(B')$. In $\mathcal{P}(B')$ there is an uncountable chain. This implies that there is no infinite set each chain of which is countable.
I have to go out now. I will be on again tomorrow. Good night!!!
 

« first day  last day (14 days later) »