Skip to main content
correct a typo
Source Link

Let $E$ be a Banach lattice. We consider finitely generated elements in the class of all closed sublattices of $E$. Let $F$ be a closed sublattice $E$. Then a subset $G \subseteq F$ is called generator of $F$ if $$ F = \bigcap \{ \hat F \subseteq E : \hat G \subseteq \hat F, \, F \text{ is a closed sublattice of } E \}. $$$$ F = \bigcap \{ \hat F \subseteq E : \hat G \subseteq \hat F, \, \hat F \text{ is a closed sublattice of } E \}. $$ We call a closed sublattice $F$ of $E$ finitely generated if $F$ has a generator $G$ with finite cardinality. The minimum cardinality of a generator of $F$ is called the rank of $F$.

Question: Is the rank operator monotone? More precisely, let $F_1$ and $F_2$ be finitely generated closed sublattices of $E$ with $F_1 \subseteq F_2$. Does $\operatorname{rank}(F_1) \leq \operatorname{rank}(F_2)$ always hold?

This seems to be the case in the Banach lattice of continuous functions from some compact Hausdorff space $K$ into the reals or the complex numbers. However, the only known proof that I know relies heavily on the Gelfand-Kakutani representation theorem for AM-spaces. I am not sure how this can proof can be generalised.

Let $E$ be a Banach lattice. We consider finitely generated elements in the class of all closed sublattices of $E$. Let $F$ be a closed sublattice $E$. Then a subset $G \subseteq F$ is called generator of $F$ if $$ F = \bigcap \{ \hat F \subseteq E : \hat G \subseteq \hat F, \, F \text{ is a closed sublattice of } E \}. $$ We call a closed sublattice $F$ of $E$ finitely generated if $F$ has a generator $G$ with finite cardinality. The minimum cardinality of a generator of $F$ is called the rank of $F$.

Question: Is the rank operator monotone? More precisely, let $F_1$ and $F_2$ be finitely generated closed sublattices of $E$ with $F_1 \subseteq F_2$. Does $\operatorname{rank}(F_1) \leq \operatorname{rank}(F_2)$ always hold?

This seems to be the case in the Banach lattice of continuous functions from some compact Hausdorff space $K$ into the reals or the complex numbers. However, the only known proof that I know relies heavily on the Gelfand-Kakutani representation theorem for AM-spaces. I am not sure how this can proof can be generalised.

Let $E$ be a Banach lattice. We consider finitely generated elements in the class of all closed sublattices of $E$. Let $F$ be a closed sublattice $E$. Then a subset $G \subseteq F$ is called generator of $F$ if $$ F = \bigcap \{ \hat F \subseteq E : \hat G \subseteq \hat F, \, \hat F \text{ is a closed sublattice of } E \}. $$ We call a closed sublattice $F$ of $E$ finitely generated if $F$ has a generator $G$ with finite cardinality. The minimum cardinality of a generator of $F$ is called the rank of $F$.

Question: Is the rank operator monotone? More precisely, let $F_1$ and $F_2$ be finitely generated closed sublattices of $E$ with $F_1 \subseteq F_2$. Does $\operatorname{rank}(F_1) \leq \operatorname{rank}(F_2)$ always hold?

This seems to be the case in the Banach lattice of continuous functions from some compact Hausdorff space $K$ into the reals or the complex numbers. However, the only known proof that I know relies heavily on the Gelfand-Kakutani representation theorem for AM-spaces. I am not sure how this can proof can be generalised.

Source Link

Monotonicity of the rank of finitely generated closed sublattices

Let $E$ be a Banach lattice. We consider finitely generated elements in the class of all closed sublattices of $E$. Let $F$ be a closed sublattice $E$. Then a subset $G \subseteq F$ is called generator of $F$ if $$ F = \bigcap \{ \hat F \subseteq E : \hat G \subseteq \hat F, \, F \text{ is a closed sublattice of } E \}. $$ We call a closed sublattice $F$ of $E$ finitely generated if $F$ has a generator $G$ with finite cardinality. The minimum cardinality of a generator of $F$ is called the rank of $F$.

Question: Is the rank operator monotone? More precisely, let $F_1$ and $F_2$ be finitely generated closed sublattices of $E$ with $F_1 \subseteq F_2$. Does $\operatorname{rank}(F_1) \leq \operatorname{rank}(F_2)$ always hold?

This seems to be the case in the Banach lattice of continuous functions from some compact Hausdorff space $K$ into the reals or the complex numbers. However, the only known proof that I know relies heavily on the Gelfand-Kakutani representation theorem for AM-spaces. I am not sure how this can proof can be generalised.