Intereting Posts

Geometrical interpretation of a group action of $SU_2$ on $\mathbb S^3$
Relation between determinant and matrix rank
twist on classic log of sine and cosine integral
Prove that $n^2+n+41$ is prime for $n<40$
Surface Element in Spherical Coordinates
Are there areas of mathematics (current or future) that cannot be formalized in set theory?
Equivalence of norms proof
Can a ring of positive characteristic have infinite number of elements?
Locating possible complex solutions to an equation involving a square root
Why is a matrix $A\in \operatorname{SL}(2,\mathbb{R})$ with $|\operatorname{tr}(A)|<2$ conjugate to a matrix of the following form?
Probability distribution of a sum of uniform random variables
Motivation for linear transformations
Left and right ideals of $R=\left\{\bigl(\begin{smallmatrix}a&b\\0&c \end{smallmatrix}\bigr) : a\in\mathbb Z, \ b,c\in\mathbb Q\right\}$
$f$ continuous iff $\operatorname{graph}(f)$ is compact
Prove “casting out nines” of an integer is equivalent to that integer modulo 9

Is it true that if $F$ is a locally compact topological field with a proper nonarchimedean absolute value $A$, then $F$ is totally disconnected? I am aware of the classifications of local fields, but I can’t think of a way to prove this directly.

- Elementary geometry from a higher perspective
- Image of a normal subgroup under a homomorphism
- Prove that the countable complement topology is not meta compact?
- Is there a $C^1$ curve dense in the plane?
- Question about Algebraic structure?
- Isn't $x^2+1 $ irreducible in $\mathbb Z$, then why is $\langle x^2+1 \rangle$ not a maximal ideal in $\mathbb Z?$
- Why is the quotient map $SL_n(\mathbb{Z})$ to $SL_n(\mathbb{Z}/p\mathbb Z)$ is surjective?
- Norm of element $\alpha$ equal to absolute norm of principal ideal $(\alpha)$
- A question on the proof of 14 distinct sets can be formed by complementation and closure
- Example of a finite non-commutative ring without a unity

Yes: the non-Archimedean absolute value yields a non-Archimedean metric (also known as an ultrametric), and every ultrametric space is totally disconnected. In fact, every ultrametric space is even zero-dimensional, as it has a base of clopen sets.

**Proof:** Let $\langle X,d\rangle$ be an ultrametric space, meaning that $d$ is a metric satisfying $$d(x,y)\le\max\{d(x,z),d(y,z)\}$$ for any $x,y,z\in X$. Let $B(x,r)=\{y\in X:d(x,y)<r\}$; by definition $B(x,r)$ is open. Suppose that $y\in X\setminus B(x,r)$; then $d(x,y)\ge r$, and I claim that $B(x,r)\cap B(y,r)=\varnothing$. To see this, suppose that $z\in B(x,r)\cap B(y,r)$; then $$d(x,y)\le\max\{d(x,z),d(y,z)\}<r\;,$$ which is impossible. Thus, $y\notin\operatorname{cl}B(x,r)$, and $B(x,r)$ is closed. Thus, every open ball is clopen, and $X$ is zero-dimensional (and hence totally disconnected). $\dashv$

The metric associated with the non-Archimedean absolute value $\|\cdot\|$ is of course $d(x,y)=\|x-y\|$.

- Computing $ \int_{0}^{2\pi}\frac{\sin(nx)}{\sin(x)} \mathrm dx $
- Embedding tensor product of integral domains
- Combinations: security code with no defined start and finish
- I need to find all functions $f:\mathbb R \rightarrow \mathbb R$ which are continuous and satisfy $f(x+y)=f(x)+f(y)$
- GCD of Fibonacci-like recurrence relation
- What is the expected number of trials until x successes?
- The square of minimum area with three vertices on a parabola
- Proving $ f(x) = x^2 $ is not uniformly continuous on the real line
- An oddity in some linear equations
- Counting all possibilities that contain a substring
- Proof that the Convex Hull of a finite set S is equal to all convex combinations of S
- Power of a function is analytic
- Egyptian fraction representations of real numbers
- Is this space contractible?
- Irreducibility issue