0
$\begingroup$

This question already has an answer here:

I have been taught in some computer science theoretic courses that two types of infinities exist: dense and countable, e.g. dense (uncountable) : real numbers, countable: integers.

And that therefore dense "sort of" > countable...

I would be interested if someone develops these concepts..

Moreover, could an ''intuitive'' definition be given for ''dense'' with regards to infinities ? Also, can you disscuss if it makes sense to say thant the reals are larger than the integers ? (as it is sometimes said informally)

$\endgroup$

marked as duplicate by Mikhail Katz, Lord Shark the Unknown, Asaf Karagila, Antonios-Alexandros Robotis, Arnaldo Jun 29 '17 at 18:14

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • $\begingroup$ You'll have to be more descriptive of the notions that your teacher was talking about; that the word "infinity" (or maybe the adjective form "infinite" which is usually more appropriate) was used in the description conveys almost no information whatsoever. $\endgroup$ – Hurkyl Jun 29 '17 at 15:49
  • $\begingroup$ Literally the first question on the site... :| $\endgroup$ – Asaf Karagila Jun 29 '17 at 17:12
1
$\begingroup$

"Dense" does not imply "uncountable": the rationals are dense but countable. Similarly, the Cantor set is uncountable but nowhere dense.

A set is countable if and only if there is an injective map from it to $\mathbb{N}$; this has nothing to do with density.

$\endgroup$
  • $\begingroup$ There are a couple meanings of dense. In the sense of topology, the cantor set is nowhere dense in the reals (and dense in itself). In the sense of ordered sets, the cantor set is a dense linear order. $\endgroup$ – Hurkyl Jun 29 '17 at 15:43
  • $\begingroup$ @Hurkyl "The cantor set is a dense linear order" No, it's not - e.g. there is no point in between $0111111...$ and $100000...$. $\endgroup$ – Noah Schweber Jun 29 '17 at 16:24
  • $\begingroup$ Ah, that was bugging me when I said it but I failed to prove otherwise. (and, I assume, you mean $0222\ldots$ and $2000\ldots$?) $\endgroup$ – Hurkyl Jun 29 '17 at 16:42
  • $\begingroup$ But would you say that, ''intuitively'' dense means that if you take any sub-interval of the infinite set, you cannot count how many items there are in it ? like e.g. subset [0,0.1] from the Real numbers. $\endgroup$ – Machupicchu Jun 29 '17 at 16:59
  • $\begingroup$ @Hurkyl I think of the Cantor set as $2^\omega$; you're right. $\endgroup$ – Noah Schweber Jun 29 '17 at 18:10

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