We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.FA

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Functional Analysis

Title: Lattice embeddings in free Banach lattices over lattices

Abstract: In this article we deal with the free Banach lattice generated by a lattice and its behavior with respect to subspaces. In general, any lattice embedding $i\colon \mathbb{L} \longrightarrow \mathbb{M}$ between two lattices $\mathbb{L} \subseteq \mathbb{M}$ induces a Banach lattice homomorphism $\hat \imath\colon FBL \langle \mathbb{L} \rangle \longrightarrow FBL \langle \mathbb{M}\rangle$ between the corresponding free Banach lattices. We show that this mapping $\hat \imath$ might not be an isometric embedding neither an isomorphic embedding. In order to provide sufficient conditions for $\hat \imath$ to be an isometric embedding we define the notion of locally complemented lattices and prove that, if $\mathbb L$ is locally complemented in $\mathbb M$, then $\hat \imath$ yields an isometric lattice embedding from $FBL\langle\mathbb L\rangle$ into $FBL\langle\mathbb M\rangle$. We provide a wide number of examples of locally complemented sublattices and, as an application, we obtain that every free Banach lattice generated by a lattice is lattice isomorphic to an AM-space or, equivalently, to a sublattice of a $C(K)$-space.
Furthermore, we prove that $\hat \imath$ is an isomorphic embedding if and only if it is injective, which in turn is equivalent to the fact that every lattice homomorphism $x^*\colon \mathbb{L} \longrightarrow [-1,1]$ extends to a lattice homomorphism $\hat x^*\colon \mathbb{M} \longrightarrow [-1,1]$. Using this characterization we provide an example of lattices $\mathbb{L} \subseteq \mathbb{M}$ for which $\hat \imath$ is an isomorphic not isometric embedding.
Subjects: Functional Analysis (math.FA)
MSC classes: 46B04, 46B20, 46B40, 46B42
Cite as: arXiv:2107.11358 [math.FA]
  (or arXiv:2107.11358v1 [math.FA] for this version)

Submission history

From: Gonzalo Martínez-Cervantes [view email]
[v1] Fri, 23 Jul 2021 17:24:00 GMT (17kb)
[v2] Mon, 26 Jul 2021 07:06:53 GMT (17kb)

Link back to: arXiv, form interface, contact.