If $\Gamma$ is a set of uncountably many different positive real numbers, can we choose a sequence of pairwise different positive numbers from $\Gamma$, say $\{a_n\}$, such that $\sum a_n = \infty$ ? I am considering such problem and I think the answer should be yes. But what’s the rigorous way to prove it? Please […]

I could use a hand understanding a proof from Jech’s Set Theory. Firstly, note that Jech defines that an increasing function $f : P \rightarrow Q$ is a function that preserves strict inequalities (where $P$ and $Q$ are partially ordered sets). We then have Lemma 2.4. If $(W,<)$ is a well-ordered set and $f : […]

I know that it is possible to represent each natural number using the concept of successor. But how do you assign meanings into the representation? I mean, when presented as a set, it’s just a set unless we agree on some definition that some form of sets refer to natural numbers. Or is it something […]

I am trying to understand the Veblen hierarchy but I still find it confusing. The Feferman–Schütte ordinal, $\Gamma_0$, can be described as the set of all ordinals that can be written as finite expressions, starting from zero, using only the Veblen hierarchy and addition. The Veblen hierarchy starts with the function $\omega^\alpha$ and uses recursion […]

Today a friend of mine told me a nice fact, but we couldn’t prove it. The fact is that there is an injection $\mathbb{N}\times\mathbb{N}\to\mathbb{N}$ defined by the fomula $(m,n)\mapsto (m+n)^{\max\{m,n\}}$, where $\mathbb{N}$ denotes the natural numbers. How to prove that this map is injective? It should be elementary. We might be overlooking something trivial. Thanks! […]

Are injectivity and surjectivity dual in some sense? Their set-theoretic definitions are quite different. In particular, the injectivity is a property of a function’s graph, while surjectivity is a relationship between the range of the function and its codomain.

I understood the definition of a $\sigma$-algebra, that its elements are closed under complementation and countable union, but as I am not very good at maths, I could not visualize or understand the intuition behind the meaning of “closed under complementation and countable union”. If we consider the set X to be a finite set, […]

I came up with a random problem yesterday: Suppose that in a random trial, each point $(x,y)$ where $x,y \in \mathbb{R}$ and $0 \leq x,y \leq 1$ is assigned a value of $0$ with 50% chance and a value of $1$ with 50% chance. What is a chance that there is a ‘continuous path’ that […]

So we know that the an ordered pair $(a,b) = (c,d)$ if and only if $a = c$ and $b = d$. And we know the Kuratowski definition of an ordered pair is: $(a,b) = \{\{a\},\{a,b\}\}$ http://en.wikipedia.org/wiki/Ordered_pair#Kuratowski_definition The proof for the Kuratowski definition is in the wikipedia link. Now, why is this alternate definition, $(a,b) […]

I’m currently revising a course on graph theory that I took earlier this year. While thinking about planar graphs, I noticed that a finite planar graph corresponds to a (finite) polygonisation of the Euclidean plane (or whichever surface you’re working with). By considering, for example a full triangulation of the plane, you can find an […]

Intereting Posts

Use induction to prove the following: $1! + 2! + … + n! \le (n + 1)!$
Do any authors systematically distinguish between 'theorems' (which have 'proofs') and mathematical 'beliefs' (which have 'evidence')?
Fermi – Walker coordinate system
Find this limit without using L'Hospital's rule
Example of a non measurable function!
Generalization of Dirichlet's theorem
Lebesgue Integral of a piecewise defined function defined on irrationals and rationals(GATE-2017)
Travelling salesman problem as an integer linear program
Simple binomial theorem proof: $\sum_{j=0}^{k} \binom{a+j}j = \binom{a+k+1}k$
Group Law for an Elliptic curve
Prove that n is divisible by 4 in a cylic sum with variables which have only two possible values
The probability that two vectors are linearly independent.
Equinumerousity of operations on cardinal numbers
How to draw an ellipse if a center and 3 arbitrary points on it are given?
Elementary proof, convergence of a linear combination of convergent series