2
votes
2answers
101 views
projection of sobolev spaces onto cones
Consider the Sobolev space $W^{k,p}(\Omega)$ for $k\in \mathbb N$, $p\in [1,\infty]$ and some open domain $\Omega\subset \mathbb R^n$ $^*$. Then it is known that $W^{k,p}(\Omega)$ …
0
votes
0answers
35 views
Orthogonal trasformations with trivial spinor norm as product of reflections $r_w$ with $(w,w)=-2$
I'm trying to prove that, for a standard unimodular even lattice $\Lambda$ (by standard i mean that it is direct sum of copies of the hyperbolic plane $U$ and $E_8$) every element …
-1
votes
0answers
51 views
Intersection in the complexification of a lattice
I have to deal with an unimodular even lattice $L$ with symmetric bilinear form of signature $(5,21)$. I'm not very much into lattice theory, but i have a question for you, i hope …
4
votes
1answer
255 views
Lattice of differences between ultrafilters
Consider two ultrafilters, $U$ and $V$, on the same cardinal $\kappa$. Let $D(U, V)=\lbrace X\subseteq \kappa: X\in U-V\rbrace$; clearly $D(U, V)$ is a lattice under $\subseteq, \c …
5
votes
1answer
109 views
Complete anti-chain lattices and the axiom of choice
Hello, everyone. I'm trying to find out about lattices of anti-chains, and was wondering whether you could help me with getting to grips with a Comp. Sci. paper I'm struggling with …
2
votes
1answer
86 views
Is the complete lattice of inflators on a frame a frame?
Yup, it may sound like an inocent question to many of you; but a very good friend of mine is completely baffled in his research about lattices of inflators on a frame. He asked me …
2
votes
1answer
167 views
When are the join-irreducibles in a complete lattice join-dense?
A subset $A$ of a complete lattice $L$ is said to be join-dense if $L=\{\bigvee R|R\subseteq A\}$. An element $a\in L$ is said to be join-irreducible if $a\neq 0$ and if $a=x\vee y …
1
vote
0answers
45 views
variant on ring objects in the category of complete lattices
Let $L$ be a complete lattice and denote its top and bottom elements by $0$ and $\infty$ respectively. Consider two binary operations $+$ and $\times$ defined on $L$ such that $(L^ …

