Skip to main content
Added remarks about normality and further progress using a representation result of Kakutani
Source Link

Consider a real, normed vector Banach$^1$ space $V$. We'll call a subset $V_+ \subseteq V$ a cone if

Is it true that a solid, minihedral cone in an infinite-dimensional, real normedBanach space cannot be regular?

Remark: The cones in (1) and (2) above are also normal---meaning that there exists a $C \geqslant 0$ such that $0 \leqslant x \leqslant y$ implies $\|x\| \leqslant C\|y\|$. In fact, $C = 1$. But that's not the problem since regularity actually implies normality in Banach spaces [1, Lemma 5.1 and Theorem 5.1].

In particular, $(w_n)$ is order-bounded by $u$, so it converges in norm by regularity. I haven't yet been able to see the contradiction here though.

(4) I might have found a solution using a representation theorem due to Kakutani.

Theorem (Kakutani) If $V$ is a real Banach space, partially ordered by a solid, normal, minihedral cone $V_+$, then there exists a compact, Hausdorff space $K$ and a linear homeomorphism $\Phi\colon V \rightarrow C(K)$ such that $\Phi(V_+) = C_+(K)$, where $C_+(K)$ is the cone of nonnegative, continuous functions in $C(K)$.

Proof See [1, Theorem 6.6].

Since regularity implies normality, a solid, minihedral, regular cone in a real Banach space satisfies the hypotheses of the theorem. Since $\Phi$ preserves solidity, minihedrality and regularity, it's enough to prove the result for $C(K)$. Now $C(K)$ is finite-dimensional if, and only if $K$ is finite. I showed that if $K$ is infinite, then we can essentially find a copy of $l^\infty$ in $C(K)$, contradicting the hypothesis that $C(K)$ is regular (Example (1) above). Thus if $C(K)$ is regular, then $K$ must be finite.

I'm still checking all the details though, it's quite an elaborate construction, and depends on this nontrivial representation result of Kakutani. So I'm not too happy about it. Since it's an exercise in the book I thought there must have been a simpler solution. Plus, the exercise is given before Kakutani's theorem. So I imagine the authors thought it could be solved without it?

Footnotes

  1. Completeness is assumed throughout [1], seems to be needed even for basic properties such as characterizations of normality, and is present in all applications I've come across so far. So I'm OK with assuming that $V$ is Banach.

References

2013-03-27: Added $l^p$ example and remark about normality.
2013-04-04: Added completeness to the hypotheses in $V$, observation that regularity implies normality, and the representation theorem of Kakutani.

Consider a real, normed vector space $V$. We'll call a subset $V_+ \subseteq V$ a cone if

Is it true that a solid, minihedral cone in an infinite-dimensional real normed space cannot be regular?

Remark: The cones in (1) and (2) above are also normal---meaning that there exists a $C \geqslant 0$ such that $0 \leqslant x \leqslant y$ implies $\|x\| \leqslant C\|y\|$. In fact, $C = 1$.

In particular, $(w_n)$ is order-bounded by $u$, so it converges in norm by regularity. I haven't yet been able to see the contradiction here though.

References

2013-03-27: Added $l^p$ example and remark about normality.

Consider a real Banach$^1$ space $V$. We'll call a subset $V_+ \subseteq V$ a cone if

Is it true that a solid, minihedral cone in an infinite-dimensional, real Banach space cannot be regular?

Remark: The cones in (1) and (2) above are also normal---meaning that there exists a $C \geqslant 0$ such that $0 \leqslant x \leqslant y$ implies $\|x\| \leqslant C\|y\|$. In fact, $C = 1$. But that's not the problem since regularity actually implies normality in Banach spaces [1, Lemma 5.1 and Theorem 5.1].

In particular, $(w_n)$ is order-bounded by $u$, so it converges in norm by regularity. I haven't yet been able to see the contradiction here though.

(4) I might have found a solution using a representation theorem due to Kakutani.

Theorem (Kakutani) If $V$ is a real Banach space, partially ordered by a solid, normal, minihedral cone $V_+$, then there exists a compact, Hausdorff space $K$ and a linear homeomorphism $\Phi\colon V \rightarrow C(K)$ such that $\Phi(V_+) = C_+(K)$, where $C_+(K)$ is the cone of nonnegative, continuous functions in $C(K)$.

Proof See [1, Theorem 6.6].

Since regularity implies normality, a solid, minihedral, regular cone in a real Banach space satisfies the hypotheses of the theorem. Since $\Phi$ preserves solidity, minihedrality and regularity, it's enough to prove the result for $C(K)$. Now $C(K)$ is finite-dimensional if, and only if $K$ is finite. I showed that if $K$ is infinite, then we can essentially find a copy of $l^\infty$ in $C(K)$, contradicting the hypothesis that $C(K)$ is regular (Example (1) above). Thus if $C(K)$ is regular, then $K$ must be finite.

I'm still checking all the details though, it's quite an elaborate construction, and depends on this nontrivial representation result of Kakutani. So I'm not too happy about it. Since it's an exercise in the book I thought there must have been a simpler solution. Plus, the exercise is given before Kakutani's theorem. So I imagine the authors thought it could be solved without it?

Footnotes

  1. Completeness is assumed throughout [1], seems to be needed even for basic properties such as characterizations of normality, and is present in all applications I've come across so far. So I'm OK with assuming that $V$ is Banach.

References

2013-03-27: Added $l^p$ example and remark about normality.
2013-04-04: Added completeness to the hypotheses in $V$, observation that regularity implies normality, and the representation theorem of Kakutani.

Added $l^p$ example and remark about normality.
Source Link

Background

Consider a real, normed vector space $V$. We'll call a subset $V_+ \subseteq V$ a cone if

  • $V$ is closed,
  • $\alpha V_+ \subseteq V_+$ for every $\alpha \geqslant 0$ and
  • $V_+ \cap (-V_+) = \{0\}$.

Cones induce a partial order $\leqslant$ in $V$:

$$x \leqslant y \quad \Longleftrightarrow \quad y - x \in V_+.$$

A cone is said to be solid if it has nonempty interior $intV_+ \neq \varnothing$. It is said to be minihedral if every finite subset $B$ of $V$ has a supremum (least upper bound). It is said to be regular if every order-bounded, monotone sequence converges in norm:

$$x_1 \leqslant x_2 \leqslant \cdots \leqslant x_n \leqslant \cdots \leqslant u \quad \Longrightarrow \quad x_n \longrightarrow x_\infty.$$$$x_1 \leqslant x_2 \leqslant \cdots \leqslant x_n \leqslant \cdots \leqslant u \quad \Longrightarrow \quad x_n \longrightarrow x_\infty. \quad \quad \quad \quad (*)$$

I'm interested in cone-induced partial orders in the context of Monotone Dynamical Systems. Properties such as the ones listed above often come up in the discussion of asymptotic behavior.

Question

Is it true that a solid, minihedral cone in an infinite-dimensional real normed space cannot be regular?

This is listed as Exercise 6.7 on page 61 in [1]. However I've found statements in exercises in this book to be false---in fact, the very first exercise is false---and there are many other mistakes such as theorems without all hypotheses listed. So I'm skeptical.

Progress

(1) The setcone $l^\infty_+$ of nonnegative, bounded sequences is a solid and minihedral cone in $l^\infty$. But it is solid and minihedral, but not regular. Setting

$$x_n := (1, 1, 1, \ldots, 1, 0, 0, 0, \ldots) \quad \text{($n$ $1$'s)}$$

we have a monotone sequence order-bounded from above by $(1, 1, 1, \ldots)$ which does not converge in norm.

(2) Let $1 \leqslant p < \infty$. The cone $l^p_+$ of nonnegative sequences in $l^p$ is minihedral and regular, but not solid. Minihedral: given two sequences in $l^p$, just take the maximum of the two coordinatewise. Regular: given an order-bounded monotone sequence as in $(*)$, it converges pointwise by monotonicity and so it converges in norm by dominated convergence---$(x_n)$ is sandwiched between $x_1$ and $u$. Not solid: for any sequence $(s_n)$ in $l^p$, $s_n \rightarrow 0$. So we can construct sequences in $l^p$ arbitrarily close to $(s_n)$ having negative terms.

Remark: The cones in (1) and (2) above are also normal---meaning that there exists a $C \geqslant 0$ such that $0 \leqslant x \leqslant y$ implies $\|x\| \leqslant C\|y\|$. In fact, $C = 1$.

(3) I've tried to prove it by contradiction, assuming that the cone is solid, minihedral and regular in an infinite-dimensional space. I picked a sequence of unit vectors $(v_n)$ such that

$$dist(v_{n+1}, span \{ v_1,\ldots,v_n \} ) \geqslant 1/2.$$

Because the cone is solid, there exists an $u \in V$ such that

$$\{v_n\} \subseteq B_1(0) \subseteq [-u, u] := \{x \in V\,;\ -u \leqslant x \leqslant u\}.$$

By the minihedrality assumption, a monotone sequence $(w_n)_{n \in \mathbb{N}}$ is well-defined by

$$w_n := \sup\{v_1,\ldots,v_n\}.$$

In particular, $(w_n)$ is order-bounded by $u$, so it converges in norm by regularity. I haven't yet been able to see the contradiction here though.

References

[1] Krasnosel'skij, Lifshits and Sobolev; Positive Linear Systems---The Method of Positive Operators. Heldermann Verlag Berlin, 1989.

Edits

2013-03-27: Added $l^p$ example and remark about normality.

Background

Consider a real, normed vector space $V$. We'll call a subset $V_+ \subseteq V$ a cone if

  • $V$ is closed,
  • $\alpha V_+ \subseteq V_+$ for every $\alpha \geqslant 0$ and
  • $V_+ \cap (-V_+) = \{0\}$.

Cones induce a partial order $\leqslant$ in $V$:

$$x \leqslant y \quad \Longleftrightarrow \quad y - x \in V_+.$$

A cone is said to be solid if it has nonempty interior $intV_+ \neq \varnothing$. It is said to be minihedral if every finite subset $B$ of $V$ has a supremum (least upper bound). It is said to be regular if every order-bounded, monotone sequence converges in norm:

$$x_1 \leqslant x_2 \leqslant \cdots \leqslant x_n \leqslant \cdots \leqslant u \quad \Longrightarrow \quad x_n \longrightarrow x_\infty.$$

I'm interested in cone-induced partial orders in the context of Monotone Dynamical Systems. Properties such as the ones listed above often come up in the discussion of asymptotic behavior.

Question

Is it true that a solid, minihedral cone in an infinite-dimensional real normed space cannot be regular?

This is listed as Exercise 6.7 on page 61 in [1]. However I've found statements in exercises in this book to be false---in fact, the very first exercise is false---and there are many other mistakes such as theorems without all hypotheses listed. So I'm skeptical.

Progress

(1) The set $l^\infty_+$ of nonnegative, bounded sequences is a solid and minihedral cone in $l^\infty$. But it is not regular. Setting

$$x_n := (1, 1, 1, \ldots, 1, 0, 0, 0, \ldots) \quad \text{($n$ $1$'s)}$$

we have a monotone sequence order-bounded from above by $(1, 1, 1, \ldots)$ which does not converge in norm.

(2) I've tried to prove it by contradiction, assuming that the cone is solid, minihedral and regular in an infinite-dimensional space. I picked a sequence of unit vectors $(v_n)$ such that

$$dist(v_{n+1}, span \{ v_1,\ldots,v_n \} ) \geqslant 1/2.$$

Because the cone is solid, there exists an $u \in V$ such that

$$\{v_n\} \subseteq B_1(0) \subseteq [-u, u] := \{x \in V\,;\ -u \leqslant x \leqslant u\}.$$

By the minihedrality assumption, a monotone sequence $(w_n)_{n \in \mathbb{N}}$ is well-defined by

$$w_n := \sup\{v_1,\ldots,v_n\}.$$

In particular, $(w_n)$ is order-bounded by $u$, so it converges in norm by regularity. I haven't yet been able to see the contradiction here though.

References

[1] Krasnosel'skij, Lifshits and Sobolev; Positive Linear Systems---The Method of Positive Operators. Heldermann Verlag Berlin, 1989.

Background

Consider a real, normed vector space $V$. We'll call a subset $V_+ \subseteq V$ a cone if

  • $V$ is closed,
  • $\alpha V_+ \subseteq V_+$ for every $\alpha \geqslant 0$ and
  • $V_+ \cap (-V_+) = \{0\}$.

Cones induce a partial order $\leqslant$ in $V$:

$$x \leqslant y \quad \Longleftrightarrow \quad y - x \in V_+.$$

A cone is said to be solid if it has nonempty interior $intV_+ \neq \varnothing$. It is said to be minihedral if every finite subset $B$ of $V$ has a supremum (least upper bound). It is said to be regular if every order-bounded, monotone sequence converges in norm:

$$x_1 \leqslant x_2 \leqslant \cdots \leqslant x_n \leqslant \cdots \leqslant u \quad \Longrightarrow \quad x_n \longrightarrow x_\infty. \quad \quad \quad \quad (*)$$

I'm interested in cone-induced partial orders in the context of Monotone Dynamical Systems. Properties such as the ones listed above often come up in the discussion of asymptotic behavior.

Question

Is it true that a solid, minihedral cone in an infinite-dimensional real normed space cannot be regular?

This is listed as Exercise 6.7 on page 61 in [1]. However I've found statements in exercises in this book to be false---in fact, the very first exercise is false---and there are many other mistakes such as theorems without all hypotheses listed. So I'm skeptical.

Progress

(1) The cone $l^\infty_+$ of nonnegative, bounded sequences in $l^\infty$ is solid and minihedral, but not regular. Setting

$$x_n := (1, 1, 1, \ldots, 1, 0, 0, 0, \ldots) \quad \text{($n$ $1$'s)}$$

we have a monotone sequence order-bounded from above by $(1, 1, 1, \ldots)$ which does not converge in norm.

(2) Let $1 \leqslant p < \infty$. The cone $l^p_+$ of nonnegative sequences in $l^p$ is minihedral and regular, but not solid. Minihedral: given two sequences in $l^p$, just take the maximum of the two coordinatewise. Regular: given an order-bounded monotone sequence as in $(*)$, it converges pointwise by monotonicity and so it converges in norm by dominated convergence---$(x_n)$ is sandwiched between $x_1$ and $u$. Not solid: for any sequence $(s_n)$ in $l^p$, $s_n \rightarrow 0$. So we can construct sequences in $l^p$ arbitrarily close to $(s_n)$ having negative terms.

Remark: The cones in (1) and (2) above are also normal---meaning that there exists a $C \geqslant 0$ such that $0 \leqslant x \leqslant y$ implies $\|x\| \leqslant C\|y\|$. In fact, $C = 1$.

(3) I've tried to prove it by contradiction, assuming that the cone is solid, minihedral and regular in an infinite-dimensional space. I picked a sequence of unit vectors $(v_n)$ such that

$$dist(v_{n+1}, span \{ v_1,\ldots,v_n \} ) \geqslant 1/2.$$

Because the cone is solid, there exists an $u \in V$ such that

$$\{v_n\} \subseteq B_1(0) \subseteq [-u, u] := \{x \in V\,;\ -u \leqslant x \leqslant u\}.$$

By the minihedrality assumption, a monotone sequence $(w_n)_{n \in \mathbb{N}}$ is well-defined by

$$w_n := \sup\{v_1,\ldots,v_n\}.$$

In particular, $(w_n)$ is order-bounded by $u$, so it converges in norm by regularity. I haven't yet been able to see the contradiction here though.

References

[1] Krasnosel'skij, Lifshits and Sobolev; Positive Linear Systems---The Method of Positive Operators. Heldermann Verlag Berlin, 1989.

Edits

2013-03-27: Added $l^p$ example and remark about normality.

Source Link

Is it true that a solid, minihedral cone in infinite dimensions cannot be regular?

Background

Consider a real, normed vector space $V$. We'll call a subset $V_+ \subseteq V$ a cone if

  • $V$ is closed,
  • $\alpha V_+ \subseteq V_+$ for every $\alpha \geqslant 0$ and
  • $V_+ \cap (-V_+) = \{0\}$.

Cones induce a partial order $\leqslant$ in $V$:

$$x \leqslant y \quad \Longleftrightarrow \quad y - x \in V_+.$$

A cone is said to be solid if it has nonempty interior $intV_+ \neq \varnothing$. It is said to be minihedral if every finite subset $B$ of $V$ has a supremum (least upper bound). It is said to be regular if every order-bounded, monotone sequence converges in norm:

$$x_1 \leqslant x_2 \leqslant \cdots \leqslant x_n \leqslant \cdots \leqslant u \quad \Longrightarrow \quad x_n \longrightarrow x_\infty.$$

I'm interested in cone-induced partial orders in the context of Monotone Dynamical Systems. Properties such as the ones listed above often come up in the discussion of asymptotic behavior.

Question

Is it true that a solid, minihedral cone in an infinite-dimensional real normed space cannot be regular?

This is listed as Exercise 6.7 on page 61 in [1]. However I've found statements in exercises in this book to be false---in fact, the very first exercise is false---and there are many other mistakes such as theorems without all hypotheses listed. So I'm skeptical.

Progress

(1) The set $l^\infty_+$ of nonnegative, bounded sequences is a solid and minihedral cone in $l^\infty$. But it is not regular. Setting

$$x_n := (1, 1, 1, \ldots, 1, 0, 0, 0, \ldots) \quad \text{($n$ $1$'s)}$$

we have a monotone sequence order-bounded from above by $(1, 1, 1, \ldots)$ which does not converge in norm.

(2) I've tried to prove it by contradiction, assuming that the cone is solid, minihedral and regular in an infinite-dimensional space. I picked a sequence of unit vectors $(v_n)$ such that

$$dist(v_{n+1}, span \{ v_1,\ldots,v_n \} ) \geqslant 1/2.$$

Because the cone is solid, there exists an $u \in V$ such that

$$\{v_n\} \subseteq B_1(0) \subseteq [-u, u] := \{x \in V\,;\ -u \leqslant x \leqslant u\}.$$

By the minihedrality assumption, a monotone sequence $(w_n)_{n \in \mathbb{N}}$ is well-defined by

$$w_n := \sup\{v_1,\ldots,v_n\}.$$

In particular, $(w_n)$ is order-bounded by $u$, so it converges in norm by regularity. I haven't yet been able to see the contradiction here though.

References

[1] Krasnosel'skij, Lifshits and Sobolev; Positive Linear Systems---The Method of Positive Operators. Heldermann Verlag Berlin, 1989.