Given a non-zero vector $\boldsymbol{v}$ composed of integers, imagine the set of all non-zero integer vectors $\boldsymbol{u}$, such that $\boldsymbol{u} \cdot \boldsymbol{v} = 0$, i.e., the integer vectors orthogonal the original vector. The set $S = \{\boldsymbol{u} : \boldsymbol{u} \cdot \boldsymbol{v} = 0\}$ seems to form a $dim(\boldsymbol{v})-1$ dimensional lattice. Specifically, it’s clear that for […]

The set of positive semidefinite symmetric real matrices form a cone. We can define an order over the set of matrices by saying $X\geq Y$ if and only if $X-Y$ is positive semidefinite. I suspect that this order does not have the lattice property, but I would still like to know which matrices are candidates […]

It seems to be trivial but I am not sure about monotonicity of the norm in the non-commutative case: Is every C*-algebra a Banach lattice with respect to its natural positive cone?

Intereting Posts

Units in a polynomial ring
Why can't we use memoization to parse unambiguous context-free grammars in linear time?
How many cycles, $C_{4}$, does the graph $Q_{n}$ contain?
When is $\Bbb{Z}$ a PID?
An example of a Lindelöf topological space which is not $\sigma$-compact
Subgroups of symmetric group
How prove that $\frac{1}{\sin^2\frac{\pi}{2n}}+\frac{1}{\sin^2\frac{2\pi}{2n}}+\cdots+\frac{1}{\sin^2\frac{(n-1)\pi}{2n}} =\frac{2}{3}(n-1)(n+1)$
Cramér's Model – “The Prime Numbers and Their Distribution” – Part 1
$\operatorname{adj}(AB) = \operatorname{adj} B \operatorname{adj} A$
Convergence in distribution to derive the expectation convergence
If every five point subset of a metric space can be isometrically embedded in the plane then is it possible for the metric space also?
Prove that an annulus is not simply connected?
Proving these trigonometric sums $\sum\limits_{k=0}^{n-1}\sin\frac{2k^2\pi}{n}=\frac{\sqrt{n}}{2}\left(\cos\frac{n\pi}{2}-\sin\frac{n\pi}{2}+1\right)$
Prove that $\sum\limits_{j=k}^n\,(-1)^{j-k}\,\binom{j}{k}\,\binom{2n-j}{j}\,2^{2(n-j)}=\binom{2n+1}{2k+1}$.
How to translate set propositions involving power sets and cartesian products, into first-order logic statements?