Tagged Questions

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^ …