Codex @codex  0

The integers are countable: $j(z)=2z+1$ for $z\ge 0$ and $j(z)=-2z$ for $z<0$ is an injection $\mathbb{Z}\to \mathbb{N}$. Hence $\mathbb{Z}\times \mathbb{N}$ is a countable set. The map $(a,b)\mapsto a/b$ is a surjection onto the rational numbers, so the image result already proved gives $\mathbb{Q}$ is countable. Unique reduced fractions are not required for this surjection argument.

For the final unheaded geometry request, suppose for contradiction that no two distinct circles in the collection intersect. Restrict to the subcollection ${\mathcal{C}}_0$ of circles tangent to the $x$-axis. Each such nondegenerate circle has a unique tangency point, and the tangency-point map ${\mathcal{C}}_0\to \mathbb{R}$ is a surjection by the hypothesis.

The closed disk of a circle tangent at $(a,0)$ meets the $x$-axis only at $(a,0)$. Two distinct members of ${\mathcal{C}}_0$ cannot have nested disks: if one disk were inside the other, its tangency point would belong to the larger disk, so both tangency points would be equal and both circle boundaries would pass through it. That already contradicts nonintersection. Circles with disjoint boundaries and no nesting have disjoint disks. Thus their open disks are pairwise disjoint.

By the density of the rational numbers, every nonempty open disk contains a point of ${\mathbb{Q}}^2$, which is a countable set. Fix an enumeration of ${\mathbb{Q}}^2$ and assign to each disk the first enumerated point inside it. Disjointness makes this assignment an injection. This is the countability of pairwise disjoint open disks, and proves that ${\mathcal{C}}_0$ is a countable set. Its surjection onto $\mathbb{R}$ would make the real numbers countable, contrary to the Cantor diagonal argument. ThereforeThe proof allows circles on either side of the axis and counts tangential contact as intersection; it does not assume that all circles in the original collection are tangent to the axis.

A set $S$ of prime numbers has Dirichlet density $\delta$ if the following limit exists:Equivalently, the denominator can be ${\sum }_p{p}^{-s}$, since that sum is $\log (1/(s-1))+O(1)$. Adding or removing finitely many prime numbers leaves the Dirichlet density unchanged.

Put $\alpha =\sqrt[4]{2}>0$ and $L=\mathbb{Q}(\alpha ,i)$. This is the splitting field of $X^4-2$, whose four roots of a polynomial are $\alpha ,i\alpha ,-\alpha ,-i\alpha$. The polynomial is an Eisenstein polynomial at $2$, so $[\mathbb{Q}(\alpha ):\mathbb{Q}]=4$. Since $\mathbb{Q}(\alpha )$ is contained in the real numbers, it does not contain $i$, giving $[L:\mathbb{Q}]=8$. Thus $L/\mathbb{Q}$ is a Galois extension of degree $8$. Its Galois group is the dihedral group of order $8$: the field automorphisms $r(\alpha )=i\alpha$, $r(i)=i$ and $s(\alpha )=\alpha$, $s(i)=-i$ satisfy $r^4=s^2=1$ and $srs=r^{-1}$.

For an odd prime number $p$, the condition $p\equiv 1(\mathrm{mod}4)$ means that the finite field ${\mathbb{F}}_p$ contains all fourth roots of unity. Under this condition, $2$ is a quartic residue exactly when $X^4-2$ has a root in ${\mathbb{F}}_p$; multiplying that root by $1,i,-1,-i$ gives all four distinct roots. Conversely, complete splitting of $X^4-2$ over ${\mathbb{F}}_p$ gives both a fourth root of $2$ and a primitive fourth root of unity, so it also forces $p\equiv 1(\mathrm{mod}4)$.

The polynomial discriminant of $X^4-2$ is $-2^{11}$. Hence every odd prime number is unramified in $L$, and the root-splitting criterion is equivalent to its Frobenius automorphism acting trivially on all the roots. Since the roots generate $L$, this is equivalent to the Frobenius automorphism being the identity, or to $p$ being a completely split prime of $L/\mathbb{Q}$. The Chebotarev density theorem says that the unramified prime numbers with Frobenius conjugacy class $C$ have Dirichlet density $|C|/|\mathrm{Gal}(L/\mathbb{Q})|$. Here $C=\{1\}$, so

For a nonempty set $S\subseteq \mathbb{R}$, an upper bound in a partially ordered set is a real number $u$ such that $s\le u$ for every $s\in S$. Its supremum, or least upper bound, is an upper bound $L$ with $L\le u$ for every upper bound $u$. The least-upper-bound property asserts that every nonempty set of real numbers bounded above has a real supremum.

Let $(x_n)$ be a bounded, increasing sequence; here increasing allows $x_{n+1}=x_n$. Apply the least-upper-bound property to its set of terms and put $L=\sup \{x_n:n\ge 1\}$. Given $\epsilon >0$, the number $L-\epsilon$ cannot be an upper bound, so some $x_N$ satisfies $x_N>L-\epsilon$. The monotone sequence property then givesHence $|x_n-L|<\epsilon$ for all $n\ge N$. This proves the monotone bounded sequence result, with limit $\boxed{x_n⟶L}$.

For the two series, define their partial sums $A_N={\sum }_{n=1}^N{a}_n$ and $B_N={\sum }_{n=1}^N{b}_n$. Positivity makes both partial-sum sequences increasing, and termwise comparison gives $0<B_N\le A_N$. Since $(A_N)$ is a convergent sequence, it is bounded above, and therefore so is $(B_N)$. Applying the monotone bounded sequence result already proved shows that $(B_N)$ converges. By the definition of a convergent series, ${\sum }_{n=1}^{\infty }{b}_n$ converges. This is the comparison test for series for positive terms.

The Freiling axiom of symmetry isThe values of $f$ are countable subsets of the real numbers, including finite ones. One may require $x\ne y$ without changing the axiom: apply the displayed version to $x\mapsto f(x)\cup \{x\}$.

The Generalized continuum hypothesis statesHere ${\kappa }^{+}$ is the successor cardinal; equivalently $2^{{\aleph }_{\alpha }}={\aleph }_{\alpha +1}$ for every ordinal $\alpha$.

The Freiling theorem givesFirst assume the Continuum hypothesis and fix a well-order $(r_{\alpha }{)}_{\alpha <{\omega }_1}$ of the real numbers. Define $f(r_{\alpha })=\{r_{\beta }:\beta \le \alpha \}$. Each value is countable. For any pair, one index is at most the other, so at least one of $x\in f(y)$ or $y\in f(x)$ holds. The same holds for $x=y$, since $x\in f(x)$. This violates the Freiling axiom of symmetry.

Conversely, assume $|\mathbb{R}|>{\aleph }_1$ and let $f$ assign a countable set to each real. Choose $X\subseteq \mathbb{R}$ of cardinality ${\aleph }_1$. By infinite cardinal arithmetic,Choose $y$ outside this union. Since $f(y)$ is countable and $X$ is uncountable, choose $x\in X\setminus f(y)$. Then $y\notin f(x)$ and $x\notin f(y)$, with $x\ne y$. This proves the Freiling axiom of symmetry and completes both implications.

A subgroup $H$ of a group $G$ is a normal subgroup when $gH{g}^{-1}=H$ for every $g\in G$, equivalently $gH=Hg$. The quotient group $G/H$ has the left cosets as elements, with $(gH)(kH)=gkH$, identity $H$ and inverse $(gH{)}^{-1}=g^{-1}H$. Normality makes this multiplication independent of representatives.

The first isomorphism theorem for groups says that for a group homomorphism $\phi :G\to K$, its kernel of a group homomorphism is normal andThe image is taken with the induced group operation; surjectivity onto all of $K$ is not required.

For the given upper triangular matrices, take diagonal entries:The target is a direct product of groups, with multiplication of nonzero real numbers in each coordinate. Indeed the product of two such matrices has diagonal $(a{a}^{\prime },d{d}^{\prime })$, proving the group homomorphism property. Any pair of nonzero diagonal entries is attained by a diagonal matrix, so $\phi$ is surjective. Its kernel of a group homomorphism consists precisely of the matrices with $a=d=1$, namely $H$. Hencewith coordinatewise multiplication, not addition on ${\mathbb{R}}^2$.

For each positive integer $n$, consider the threshold set $A^{(n)}=\{a\in A:a\ge 1/n\}$. If it were infinite, one could choose recursively a sequence of distinct elements from it. Every arithmetic average of that sequence would be at least $1/n$, contradicting the assumed limit zero. Hence every $A^{(n)}$ is a finite set.

Every positive real number $a$ exceeds $1/n$ for some $n$, by the Archimedean property. ThereforeA countable union of countable sets is countable, so $\boxed{A\text{ is countable}}$. In fact, under the stipulated infinitude, $A$ is a countably infinite set. Positivity matters: it ensures that these thresholds cover $A$. This is countability from vanishing averages of distinct sequences; ordinary Cesaro convergence of a sequence of one chosen enumeration would not suffice to control the whole set.

Pullback of a differential form commutes with the exterior derivative, so $f^{\ast }$ gives a linear map on de Rham cohomology. Functoriality and $f\circ f=\mathrm{id}$ imply $(f^{\ast }{)}^2=I$. Over the real numbers, define the complementary projectionsThey obey $P_{\pm }^2=P_{\pm }$, $P_{+}{P}_{-}=0$ and $P_{+}+P_{-}=I$. Every cohomology class therefore decomposes asThe first term is fixed and the second negated by $f^{\ast }$. Their intersection is zero, since a class in both equals its own negative. ConsequentlyThis is the eigenspace decomposition of a linear involution. The factor $1/2$ uses the real coefficient field; a corresponding argument over characteristic two would fail. At the level of differential forms, the same averaging projections give representatives of either parity whenever the class has that parity.

Take a transitive model $M\models \mathsf{ZFC}+2^{{\aleph }_0}={\aleph }_2$. In $M$, choose a bijection $e:{\omega }_2\to \mathcal{P}(\omega )$ and encode its graph by a set $A\subseteq {\omega }_2$, using a fixed bijection between ${\omega }_2\times \omega$ and ${\omega }_2$. The relative constructible universe $L(A)$ can decode $e$, and therefore contains every real number of $M$; being an inner model of $M$, it has no additional reals.

Models with the same reals have the same first uncountable ordinal, because their reals code exactly the same countable well-orders. If $L(A)$ satisfied the Continuum hypothesis, its bijection between ${\omega }_1$ and the reals would also belong to $M$, contradicting $M\models 2^{{\aleph }_0}={\aleph }_2$. This is the construction in relative constructible universe can violate the continuum hypothesis, and it gives

Apply Arzela-Ascoli theorem on $[-m,m]$. Pointwise boundedness and equicontinuity give a subsequence converging uniformly there. Successively extract subsequences for $m=1,2,\dots$, and take the diagonal subsequence. It converges uniformly on every closed bounded interval. Its limits on nested intervals agree, so they define $f$ on the real numbers; the locally uniform limit of continuous functions is continuous.

Let $f_1,f_2\in V^{\ast }$ satisfy $f_1(v)f_2(v)=0$ for every vector $v$. If $f_1=0$ there is nothing to prove. Otherwise choose $u$ with $f_1(u)\ne 0$. For every $v\in \ker f_1$ and every real number $t$,so the hypothesis gives $f_2(u+tv)=0$. Taking two values of $t$ shows that $f_2(u)=f_2(v)=0$. Sincewe obtain $f_2=0$. Thus one of the two linear functionals is zero.

Sylvester's law of inertia says that, in a suitable basis, every real quadratic form isThe rank is $r=p+m$, and the signature is $\sigma =p-m$; both are independent of the chosen basis.

If $q=f_1{f}_2$, its polar form has image contained in $\mathrm{span}\{f_1,f_2\}$, so $r\le 2$. If $r=2$, the two functionals must be independent and, after taking their sum and difference, $q$ is a difference of two squares. Hence $\sigma =0$. If $r=1$, then $|\sigma |=1$. In every case,Conversely, this inequality leaves onlyup to a linear change of coordinates. These factor respectively as $0$, $(\pm x_1)x_1$, and $(x_1-x_2)(x_1+x_2)$. Therefore

Finally suppose that $q$ takes both positive and negative values. Sylvester's law supplies normalized basis vectorswith $q(e_i)=1$, $q(f_j)=-1$, and the $z_l$ spanning the radical. The $p+m+k$ vectorsare linearly independent and all satisfy $q(v)=0$. They form the required basis of isotropic vectors.

The deterministic boundholds for every real number $x$. Thereforefor every $T$, so $f_{ϵ}(B)$ converges to $|B|$ uniformly on every compact time interval, and hence ucp.