Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

sav08:countable_set [2008/03/10 16:27]
vkuncak created
sav08:countable_set [2008/03/10 16:29] (current)
vkuncak
Line 13: Line 13:
 **Theorem:​** if $A, B$ are countable then $A \cup B$ and $A \times B$ are countable, but $2^A$ is not countable. **Theorem:​** if $A, B$ are countable then $A \cup B$ and $A \times B$ are countable, but $2^A$ is not countable.
  
 +Observation:​ The set of all strings over some finite alphabet is countable.  ​
 +
 +Observation:​ The set of real numbers is not countable.
 +
 +Observation:​ If the set $A$ is infinite and the set $B$ has at least two elements, then set of all functions $f : A \to B$ is not countable.
  
 
sav08/countable_set.txt · Last modified: 2008/03/10 16:29 by vkuncak
 
© EPFL 2018 - Legal notice