Prove that a set A is infinite if and only if $A$ contains a proper subset $B$ that satisfies $|B|=|A|$. For the first part, I tried the following: Since $A$ is infinite, it has a countable subset $S=\{a_n\}$ with $n$ in $\mathbb N$. Then we have a function $f:A\to A\setminus \{a_0\}$ such that $f(a_n) = […]

Definition of Lebesgue measurable function: Given a function $f: D \to \mathbb R \cup \{+\infty, -\infty\}$, defined on some domain $D \subset \mathbb{R}^n$, we say that $f$ is Lebesgue measurable if $D$ is measurable and if, for each $a\in[-\infty, +\infty]$, the set $\{x\in D \mid f(x) > a\}$ is measurable. If $f$ is an extended […]

There are a lot of websites and forums, which explain that there is a bijection between $\mathbb{R}$ and $\mathbb{R}^2$, and even give some bijections. (By the way: Can you generalize it? since it works with the natural Numbers and the real numbers, does there exist a bijection between any infinite set $X$ and $X^2$) On […]

I’m a bit confused with the general concept of convergence of a sequence of sets. I’m well aware that the limit of a sequence $\{C^{\nu}\}$ exists iff $$\liminf_{\nu \rightarrow \infty} C^{\nu} = \limsup_{\nu \rightarrow \infty} C^{\nu}$$ where lim inf (resp. lim sup) is the set of points that appear in the limit all but finitely […]

I am stuck on an elementary proof on the cardinality of sets on the following point: Given two possibly empty sets, $A$ and $B$, I need to prove the existence of any function $f:A\rightarrow B$. Is it possible? Perhaps using AC? I’m thinking you must have at least a non-empty $B$ (all elements of $A$ […]

This question is from Willard’s General Topology: Is there a set of all topological spaces? My try is: Suppose $\mathfrak T $ is set of all topological spaces, then $\mathfrak T $ ‘contains’ all the sets (i.e., if $S$ is some set, then $\{\varnothing, S\}\in\mathfrak T $). Since Willard assumes that a set cannot be […]

The question is that we have to prove that if $A$ has $m$ elements and $B$ has $n$ elements, then there are $2^{mn}$ different relations from A to B. Now I know that a relation $R$ from $A$ to $B$ is a subset of $A \times B$. And as the maximum number of subsets (Elements […]

If a set contain $(2n+1)$ elements and if the number of subsets which contain at most n elements is 4096, then what is the value of $n$?

Let $A_1$, $A_2$, $B_1$ and $B_2$ be sets such that $$ |A_1|=|A_2|,\quad|B_1|=|B_2|,\quad B_1\subset A_1,\quad B_2\subset A_2. $$ Where $|\ \ |$ denotes the cardinality of a set. How to show that $|A_1\setminus B_1|=|A_2\setminus B_2|$ ? We know that there is a bijection from $A_1$ to $A_2$ and one from $B_1$ to $B_2$, and we just […]

Let $(K_n)$ be a sequence of sets. What is the negation of the following statement? For all $U$ open containing $x$, $U \cap K_n \neq \emptyset$ for all but finitely many $n$.

Intereting Posts

The union of open balls.
Show that the boundary of a set equals the boundary of its complement
$g(x+y)+g(x)g(y)=g(xy)+g(x)+g(y)$ for all $x,y$.
Explaining what real math is to a high school student
Topology: Opens vs Neighborhoods
Vakil's definition of smoothness — what happens at non-closed points?
Computing $\lim\limits_{n\to+\infty}n\int_{0}^{\pi/2}xf(x)\cos ^n xdx$
Multiplicative Euclidean Function for an Euclidean Domain
Simple Double Summation
Gradient and Swiftest Ascent
Ring of order $p^2$ is commutative.
Linear Code in Cryptography
De Morgan's law on infinite unions and intersections
Affine transformation applied to a multivariate Gaussian random variable – what is the mean vector and covariance matrix of the new variable?
What is the derivative of a vector with respect to its transpose?