Skip to content

Is every norm-dense order dense sublattice super order dense?

Welcome to RGOSA Forums Order Structures Forum Vector and Banach Lattices Is every norm-dense order dense sublattice super order dense?

Viewing 1 post (of 1 total)
  • Author
    Posts
  • #1415

    Let $F$ be a norm-dense linear sublattice of a Banach lattice $E$, which is order dense, i.e. for every $e\texttt{ > } 0$ there is $f\in F$ such that $0\texttt{ < } f\le e$. Note that since $E$ is Archimedean, order denseness implies that for every $e\ge 0$ there is $A\subset F$ such that $e=\bigvee A$. I am wondering whether under our assumption we can get a stronger property called super order denseness (but should be called $\sigma$-order dense-ness in my opinion). Namely, is it true that for every $e\ge 0$ there is a countable $A\subset F$ such that $e=\bigvee A$?

    Some remarks: If $F$ has a strong unit then every norm-dense sublattice is super order dense.
    If $F$ has the countable supremum property, then every order dense sublattice is super order dense. This property is quite common, in particular every order continuous BL has it, and for instance every Free BL.

    • This topic was modified 2 days, 22 hours ago by Eugene Bilokopytov.
    • This topic was modified 10 hours, 40 minutes ago by admin.
    • This topic was modified 10 hours, 38 minutes ago by admin.
    • This topic was modified 10 hours, 26 minutes ago by admin.
    • This topic was modified 10 hours, 23 minutes ago by admin.
    • This topic was modified 10 hours, 21 minutes ago by admin. Reason: making tests on $Latex$. Now it seems working!!
    • This topic was modified 9 hours, 28 minutes ago by Eugene Bilokopytov.
    • This topic was modified 9 hours, 27 minutes ago by Eugene Bilokopytov.
    • This topic was modified 9 hours, 25 minutes ago by Eugene Bilokopytov.
    • This topic was modified 9 hours, 24 minutes ago by Eugene Bilokopytov.
    • This topic was modified 9 hours, 21 minutes ago by Eugene Bilokopytov.
    • This topic was modified 9 hours, 20 minutes ago by Eugene Bilokopytov.
    • This topic was modified 9 hours, 18 minutes ago by Eugene Bilokopytov.
    • This topic was modified 9 hours, 17 minutes ago by Eugene Bilokopytov.
Viewing 1 post (of 1 total)
  • You must be logged in to reply to this topic.