Intereting Posts

Inclusion $O(2n)/U(n)\to GL(2n,\mathbb{R})/GL(n,\mathbb{C}) $
Divisibility of discriminants in number field extensions
Finite field, every element is a square implies char equal 2
Sense of the linearity of the derivative
factor $z^7-1$ into linear and quadratic factors and prove that $ \cos(\pi/7) \cdot\cos(2\pi/7) \cdot\cos(3\pi/7)=1/8$
Show differential of $f:S^{m}\times S^{n}\to S^{m+n+mn}$ is injective
9 hidden in every number regardless of number of digits?
Every subspace of the dual of a finite-dimensional vector space is an annihilator
To prove a vector bundle $\xi$ is orientable $\iff w_1(\xi)=0$
How can I get smooth curve at the sigmoid function?
Showing a recursion sequence isn't bounded $a_{n+1}=a_n+\frac 1 {a_n}$
Minimum distance between two parabolas
Uniform convergence of the sequence $f_n(x)=f(x+1/n)$ for uniformly continuous $f$
Norm of the sum of projection operators
Are there infinitely many rational pairs $(a,b)$ which satisfy given equation?

If you have a set $A$, and it satisfies that for some $x\in A$, there is a bijection between $A$ and $A\setminus\{x\}$.

Does that imply that there is an injection from $\Bbb N$ to $A$?

It is clearly true in ZFC, but I ask if it is true in ZF.

- Mathematical questions whose answer depends on the Axiom of Choice
- Is there a known well ordering of the reals?
- Equivalent statements of the Axiom of Choice
- Does linear ordering need the Axiom of Choice?
- Prove that for any infinite poset there is an infinite subset which is either linearly ordered or antichain.
- Existence of vector space complement and axiom of choice

- Relationship between Continuum Hypothesis and Special Aleph Hypothesis under ZF
- Examples of sets whose cardinalities are $\aleph_{n}$, or any large cardinal. (not assuming GCH)
- Showing ${\frak c}:=|\Bbb{R}|=2^{\aleph_0}$ using only the axioms of the reals
- Countablity of the set of the points where the characteristic function of the Cantor set is not continous
- Relationships between AC, Ultrafilter Lemma/BPIT, Non-measurable sets
- Finding maximal chain of cardinality $\aleph$
- If $f \circ g$ is onto then $f$ is onto and if $f \circ g$ is one-to-one then $g$ is one-to-one
- Can one construct a non-measurable set without Axiom of choice?
- Can one come to prove Cantor's theorem (existence of higher degree of infinities) FROM Russell's paradox?
- Proving the Cantor Pairing Function Bijective

Yes. This is true in ZF. If $A$ has this property then we say that $A$ is **Dedekind-infinite**.

To see that it is true simply fix an injection $f\colon A\to A\setminus\{x\}$, and define $F\colon\Bbb N\to A$ as follows:

$$F(0)=x; F(n)=f(F(n-1))$$

Note that $F(1)=f(x)\neq f(f(x))=F(2)$, since $x\notin A$ we have that $f(x)\notin\operatorname{rng}(f\circ f)$; and so on we can see that $F$ is injective.

Similarly, if such injection from $\Bbb N$ into $A$ exists then we can find an injection from $A$ into $A\setminus\{x\}$, but I will leave this as an exercise for you.

It is trivial to see that assuming the axiom of choice every infinite set is Dedekind-infinite, but without the axiom of choice it is consistent that there are infinite sets which are *not* Dedekind-infinite. Those sets are called **Dedekind-finite** and they have the property that every self-injection is a bijection.

Interestingly enough, it is consistent that there are infinite Dedekind-finite sets that can be surjected onto themselves with an additional element.

So while it holds that if $X$ is finite then $f\colon X\to X$ is injective if and only if it is surjective if and only if it is bijective; this is not necessarily true for Dedekind-finite sets when the axiom of choice fails.

Yes. Let $\varphi:A\to A\setminus\{x\}$ be a bijection. Define $f:\Bbb N\to A$ recursively by $f(0)=x$, and $f(n+1)=\varphi\big(f(n)\big)$ for $n\in\Bbb N$. $\mathsf{ZF}$ is sufficient to justify this construction of $f$. (Sets with this property are said to be Dedekind infinite.)

- Find density for $Z=X+Y$ with joint density function
- How to show this sequence is a delta sequence?
- Find the minimum number of links to remove from digraph to make it acyclic
- Lebesgue outer measure of $\cap\mathbb{Q}$
- “Binomiable” numbers
- Do the infinite series converge
- Evaluating $\int _0 ^1 x^k(\ln x)^m dx$ for integer $k$ and $m$
- Interesting and unexpected applications of $\pi$
- Prove or disprove that ${F_{n}^2} + 43$ is always a composite
- Category of adjunctions inducing a particular monad
- Compute the infinite product $\prod\limits_{n=2}^\infty \left(1+\frac{1}{2^n-2}\right)$
- Expected max load with $n$ balls in $n$ bins?
- Parity of number of factors up to a bound?
- Two questions with respect to the determinants
- Error-correcting codes used in real life