16
votes
7answers
2k views

There is no smallest infinity in calculus?

Somewhat of a basic question, but I tried mixing set theory and calculus and the result is a giant mess. From set theory (assume ZFC) we know there is a smallest infinite cardinal, $\aleph_0$, and ...
0
votes
0answers
40 views

Circles and the continuum hypothesis

I was trying to understand the undecidable nature of the continuum hypothesis and came up with the following question: The set of circles with a rational diameter is countably infinite (with ...
0
votes
1answer
23 views

Help explain the set being constructed in this Cantor-Schroder-Berstein proof

The Cantor-Schroder-Bernstein theorem states that: Suppose $A$ and $B$ are sets. If $|A|\le |B|$ and $|B|\le |A|$, then $|A|=|B|$ Proof: So, $|A|\le|B|$ implies we can choose an injection ...
1
vote
2answers
77 views

Sizes of infinity

I was just thinking about infinity (as you do) and thought the following. "There are infinitely many reals in the interval $x\in[0,1]$ and an 'equal number of reals' $x\in[1,2]$, so there are 'double ...
1
vote
1answer
19 views

One set of functions larger than another set of functions?

This summer I've been slowly working through Halmos's Naive Set Theory. I'm not that far, but I know what lies ahead, which is proving that one infinite set is larger than another (the reals larger ...
2
votes
1answer
78 views

Is there a mathematical concept of fractions using transfinite numbers as numerators and denominators?

http://de.wikipedia.org/wiki/Cantors_erstes_Diagonalargument (German) http://en.wikipedia.org/wiki/Cantor%27s_diagonal_argument (English) While looking at Cantors method of proof, which he used to ...
2
votes
1answer
55 views

Question about the cardinality of sets and infinity

Let's say we have $\mathbb{N}$, the set of natural numbers: $\{1, 2, 3, 4, 5...\}$ ...which has a cardinality of infinity, and the set $A_x$ which consists of the variable "$x$" (so $\{x\}$). If I ...
0
votes
0answers
43 views

Cardinality of infinite between the set of rationals and set of reals

I remember learning that whether or not there is a cardinality of infinity between the set of rational numbers and the set of real numbers is unprovable. Is this true, and if so, how do we know it to ...
13
votes
6answers
2k views

A strange puzzle having two possible solutions

A friend of mine asked me the following question: Suppose you have a basket in which there is a coin. The coin is marked with the number one. At noon less one minute, someone takes the coin ...
0
votes
4answers
95 views

Which of these sets is bigger?

I am a fourth year computer science student and I am taking second year level maths because they are very useful for computer stuff. At the end of the linear algebra lecture the Prof left us with a ...
2
votes
4answers
354 views

What is your intuitive understanding of infinity? [duplicate]

What is your intuitive understanding of infinity? Mine is the following, I prepared it as image: Those were the main points I got to after thinking by myself about what infinity is, without ...
3
votes
1answer
153 views

Is there a highest order of infinity?

Does there exist an infinite set of cardinality such that it can never be reached by taking power sets of a set with cardinality aleph-null. Please prove your answer, or include a link to a proof. I ...
0
votes
2answers
33 views

Having trouble showing the cardinality of two infinite sets is the same

We just learned about Aleph-naught today and I read about it on wikipedia but I do not know how to go about solving this problem in my homework: Prove that N(natural numbers) has the same ...
3
votes
2answers
52 views

Cardinality of the set of at most countable subsets of the real line?

I'm exploring an unrelated question about power series with complex coefficients. While exploring this question, I wondered: What is the cardinality of the set of all such power series? Or with ...
0
votes
1answer
103 views

Are all uncountable infinities greater than all countable infinities? Are some uncountable infinities greater than other uncountable infinities? [duplicate]

I recently finished a discrete mathematics class, and near the end of the semester, the prof (very superficially) touched on countable and uncountable infinities. His explanation of countable ...
3
votes
2answers
89 views

Is $\lim\limits_{n \to \infty} n$ “equal” to $\mathbb{N}$?

In set theory, the natural numbers are defined by means of inductive sets and the successor operation $S(n+1) = n \cup \{n\}$ As such, we have $1 = \{0\}$, $2 = \{0, 1\}$, $3 = \{0, 1, 2\}$, ...
6
votes
3answers
526 views

What is the cardinality of the set of infinite cardinalities?

I am currently aware of only two infinite cardinalities: $\aleph_0 = |\Bbb N|$ $\aleph_1 = |\Bbb R|$ Questions: Is there an infinite number of infinite cardinalities? If yes, is this set of ...
3
votes
2answers
91 views

Is there, for every set $X$, a set $Y$ for which $|Y| < |X|$ but $|\mathcal{P}(Y)| \geq |X|$?

As the title says, my question is: Is there, for every set $X$, a set $Y$ for which $|Y| < |X|$ but $|\mathcal{P}(Y)| \geq |X|$? I'm fairly certain this is true for finite sets but maybe ...
0
votes
1answer
37 views

What is the cardinality of the equivalence class

Consider this relation: $$R = \left\{ {\left\langle {f,g} \right\rangle \in {{\left\{ {0,1} \right\}}^N} \times {{\left\{ {0,1} \right\}}^N}|\exists k \in N\left| {\left\{ {i \in N|f(i) \ne g(i)} ...
0
votes
2answers
57 views

Are all infinite sets equivalent by an indexing function?

Would it be true to say that two infinite sets would always be equivalent since you could always match the index of their elements? For instance, match the first element in $A$ to the first element ...
0
votes
1answer
73 views

Countable and Uncountable sets

Is $\mathbb{N}\cup\{a\}$, for some $a\not\in\mathbb{N}$ countable or uncountable? $\mathbf{Attempt: }$ It is true that a set is countable if there exists an injective function $f : S → N$ from $S$ to ...
1
vote
1answer
81 views

A Monkey Choosing Real Numbers for an Infinite Time

A common illustration of the nature of infinity is that, given an infinite amount of time, a monkey on a typewriter will, with probability $1$, produce the complete works of Shakespeare. Consider now ...
0
votes
2answers
39 views

What this statement is really saying to prove one Real number has missed the bijection with Integers?

In a Combinatorics text, I find this: Not all infinite sets have the same cardinality. Consider the set of all integers and the set of all reals. Assume that the set of reals can be put in ...
1
vote
1answer
123 views

Are there any infinites not from a powerset of the natural numbers?

With the cardinality of the natural numbers as $|\mathbb{N}| = \aleph_0$ and its powerset as $|\mathcal{P}(\mathbb{N})| = 2^{\aleph_0}$, the continuum hypothesis and the axiom of choice says that ...
7
votes
5answers
2k views

how do we assume there is infinity?

Definition of infinite: A set is infinite iff it is equivalent to one of its proper subsets. We know that our universe doesn't contain infinite number of elements, so how do we assume there is ...
1
vote
2answers
118 views

If the Kleene star of countable sets is countable, how are the real numbers uncountable?

The formal languages we use to represent number systems are interchangeable, which is why we don't hesitate to use different notations, e.g. hexadecimal, octal, binary, etc... to represent the reals. ...
3
votes
1answer
70 views

Set theory, show a set is countable, homework. check my answer

I solved this question but there is something strange going on and I am unsure of myself. Would like someone to review it. We are given a total order (or linear order) $<^{*}$on group $A$ such ...
2
votes
1answer
140 views

Largest infinite cardinal used in a proof

I've heard before that Knuth holds the record for the largest constant used in a mathematical proof. I was wondering what is the largest cardinal ever explicitly considered in set theory. I presume ...
3
votes
4answers
226 views

Hilbert's Hotel and Infinities for Pre-university Students

Hilbert's paradox of the grand hotel is a fun and exciting ground to base a talk on the set theoretic concept of infinity for interested students - even in middle- and high school. However, it does ...
1
vote
1answer
49 views

Show A is countable infinity

One more question about set theory: $A\subseteq R$ is an infinite set of positive numbers. Assume there is a value $k \in Z$ such that for any $B \subseteq A$: $\sum_{i=0}^\infty b(i) \le k$ where ...
0
votes
1answer
60 views

Is the set of all sums-of-rationals-that-give-one countable?

Some (but not all) sums of rational numbers gives us 1 as a result. For instance: $$\frac12 + \frac12 = 1$$ $$\frac13 + \frac23 = 1$$ $$\frac37 + \frac{3}{14} + \frac{5}{14} = 1$$ Is the set of all ...
2
votes
3answers
257 views

Why can't you count real numbers this way?

Sorry but this is probably a naive question. Why can't you generate real numbers by a*10^b, the same way as rational numbers by a/b? a and b could be integers so that you would start counting real ...
31
votes
7answers
1k views

Refuting the Anti-Cantor Cranks

I occasionally have the opportunity to argue with anti-Cantor cranks, people who for some reason or the other attack the validity of Cantor's diagonalization proof of the uncountability of the real ...
0
votes
1answer
69 views

Are there countably many infinities?

$\aleph_0$, $\aleph_1, \aleph_2$ and so on are indexed by a natural number so shouldn't there be countably many infinities?
1
vote
2answers
603 views

Must an infinite intersection of infinite sets be infinite?

If $A_2$ is a subset of $A_1$, $A_3$ is a subset of $A_2$, and this goes on infinitely and all contain an infinite number of elements, then is the intersection from $n=1$ to infinity, infinite as ...
0
votes
1answer
577 views

Proper Subset of an Infinite Set is Equinumerous to the Set Containing It

I noticed that there is a question about $S$ being denumerable, which implies $S$ is equinumerous with a proper subset of itself, but what about an infinite set? That is, how to do I prove that every ...
4
votes
2answers
91 views

Which texts do you recommend to learn about the work of Cantor?

A friend asked me if I know texts which talk about Cantor's Work on infinity and Set theory . And this is the reason Which pushed me to ask the question here . I prefer if you recommend texts for ...
1
vote
2answers
365 views

Comparing infinite binary fractions to infinite decimal fractions

I'm trying to understand the cardinality between the set of all infinite binary (base-2) fractions and the set of all infinite decimal (base-10) fractions. I can easily think of infinite binary ...
0
votes
3answers
259 views

Equinumerosity of infinite sets

Key issue: For infinite sets, does the existence of a bijection mean they have the same number of elements? For example, does the set of natural numbers N = {1,2,3,4...} have the same number of ...
4
votes
1answer
62 views

Generlized Büchi Games and Closed under superset Muller Games

For a unique infinite play $p$ in a 2-Player game $G=(V_0,V_1,E)$. Let $$ \inf(p) \subseteq V_0 \cup V_1 $$ be the set of vertices which occur infinitly often in $p$. Generlized Büchi (GB) Games ...
3
votes
2answers
160 views

how to know the set is finite, countable or uncountable

I am trying to understand whether the set is finite, countable, or uncountable. $$\{x \in\Bbb Q \mid 1<x<2 \} \qquad\text{is countable. }$$ but i dont understand why though. is it countable ...
4
votes
4answers
152 views

Dividing Two Infinities

I am Curious if the following is mathematically correct: Let $a$ be the infinite set of all nonnegative integers $0,1,2,3...$. Let $b$ be the infinite set of all nonnegative EVEN integers ...
0
votes
3answers
191 views

Can countability coexist with infinity?

This question concerns the countability of the real numbers. First I will show how I count the numbers between 0 and 1 on the real line. It is done by reversing digits behind the coma, so that e.g. ...
5
votes
2answers
294 views

Subtracting two infinities

I am Curious if the following is mathematically correct: Let $a$ be the infinite set of all nonnegative integers $0,1,2,3...$. I take from $a$ some of its elements, say integers $10$, $11$, and $12$ ...
2
votes
1answer
75 views

What are the factors of $\aleph_0$?

Extend the system of positive natural numbers with $\aleph_0$. Then we have: $$\aleph_0 = \aleph_0\cdot n,\quad \forall n \in \mathbb{N}^+$$ Does it make sense to talk about factors of $\aleph_0$? ...
1
vote
2answers
196 views

Creating the set of natural numbers

I am not a mathematician but an engineer, so I can read some basics of the language proofs are written in. Second I am bad in probability and infinity and my question covers both. So I like to ...
2
votes
2answers
97 views

Is there an infinite sequence AB, BC, CD, DX, …, YZ

Is it possible to construct an infinite set of ordered pairs of form S = {(A, B), (B, C), (C, D), (D, x), ..., (y, Z)}? Every element (B, C...) must appear only once as the first object in one of the ...
2
votes
2answers
149 views

Elaboration of infinite, finite and enumerable definition

I am starting to learn some of the basic concepts of math. The concept I am learning now is infinite, finite, and denumerable. I am having trouble understanding the book's definiton. I am hoping if ...
14
votes
3answers
2k views

How many different sizes of infinity are there?

It's pretty straightforward to say that there is an infinite number of different sizes of infinity, but then I thought, "What size of infinity is that?" My thoughts are that the number of unique ...
6
votes
2answers
193 views

Is it viable to ask in an infinite set about the Cardinality?

Can you ask given an infinite set about its cardinality? Does an infinite set have a cardinality? So, for example, what would be the cardinality of $+\infty$?