Skip to main content
deleted 1 character in body
Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

Let $V$ be a (Hausdorff) topological vector space, $W\subset V$ a closed linear subspace, $X\subset V $ a compact.

(Q): When When there is a continuous map $P:X\to W$ such that $P(x)=x$ for every $x\in X\cap W$?

In general there is none (see below); to have a positive answer I'd like as mild conditions on $W$ as possible, while $X$, as a topological space, should possibly be any Hausdorff compact space, with no other assumptions.

Motivation: this is related to a previous question: for a Hausdorff compact space $X$, say that a closed subset $A$ of $X$ is nice (at least, to me) iff there exists an extension operator $E:C(A)\to C(X)$, that is a (bounded, linear) right inverse to the restriction operator $R:C(X)\to C(A)$ $-$maybe "the pair $(X,A)$ has the Dugundji Extension Property" sounds better. Since $x\mapsto \delta_x$ embeds $X$ as subspace of $C(X)^*$ with its $w^*$ topology, the composition $P:X\subset C(X)^*\xrightarrow{E^*}C(A)^*$ is an instance of the situation in the previous Question(Q), for $P(\delta_x)=\delta_x$ for all $x\in A$. In other words, any extension operator has the form $Ef(x)=\mu_x(f)$ for a Baire measure $\mu_x$ continuously depending on $x\in X$ w.r.to the $w^*$ topology of $C(A)^*$, and $\mu_x=\delta_x$ for all $x\in A$. 

May this morethe abstract formulation shed(Q) shed some light on the problems listed in the previous linked question? Of course, a direct construction for the situation $X\subset V:=C(X)^*$, $W:=C(A)^*$, is most welcome.

Let $V$ be a (Hausdorff) topological vector space, $W\subset V$ a closed linear subspace, $X\subset V $ a compact.

Q: When there is a continuous map $P:X\to W$ such that $P(x)=x$ for every $x\in X\cap W$?

In general there is none (see below); to have a positive answer I'd like as mild conditions on $W$ as possible, while $X$, as a topological space, should possibly be any Hausdorff compact space, with no other assumptions.

Motivation: this is related to a previous question: for a Hausdorff compact space $X$, say that a closed subset $A$ of $X$ is nice (at least, to me) iff there exists an extension operator $E:C(A)\to C(X)$, that is a (bounded, linear) right inverse to the restriction operator $R:C(X)\to C(A)$ $-$maybe "the pair $(X,A)$ has the Dugundji Extension Property" sounds better. Since $x\mapsto \delta_x$ embeds $X$ as subspace of $C(X)^*$ with its $w^*$ topology, the composition $P:X\subset C(X)^*\xrightarrow{E^*}C(A)^*$ is an instance of the situation in the previous Question, for $P(\delta_x)=\delta_x$ for all $x\in A$. In other words, any extension operator has the form $Ef(x)=\mu_x(f)$ for a Baire measure $\mu_x$ continuously depending on $x\in X$ w.r.to the $w^*$ topology of $C(A)^*$, and $\mu_x=\delta_x$ for all $x\in A$. May this more abstract formulation shed some light on the problems listed in the previous question? Of course, a direct construction for the situation $X\subset V:=C(X)^*$, $W:=C(A)^*$, is most welcome.

Let $V$ be a (Hausdorff) topological vector space, $W\subset V$ a closed linear subspace, $X\subset V $ a compact.

(Q): When there is a continuous map $P:X\to W$ such that $P(x)=x$ for every $x\in X\cap W$?

In general there is none (see below); to have a positive answer I'd like as mild conditions on $W$ as possible, while $X$, as a topological space, should possibly be any Hausdorff compact space, with no other assumptions.

Motivation: this is related to a previous question: for a Hausdorff compact space $X$, say that a closed subset $A$ of $X$ is nice (at least, to me) iff there exists an extension operator $E:C(A)\to C(X)$, that is a (bounded, linear) right inverse to the restriction operator $R:C(X)\to C(A)$ $-$maybe "the pair $(X,A)$ has the Dugundji Extension Property" sounds better. Since $x\mapsto \delta_x$ embeds $X$ as subspace of $C(X)^*$ with its $w^*$ topology, the composition $P:X\subset C(X)^*\xrightarrow{E^*}C(A)^*$ is an instance of the situation in (Q), for $P(\delta_x)=\delta_x$ for all $x\in A$. In other words, any extension operator has the form $Ef(x)=\mu_x(f)$ for a Baire measure $\mu_x$ continuously depending on $x\in X$ w.r.to the $w^*$ topology of $C(A)^*$, and $\mu_x=\delta_x$ for all $x\in A$. 

May the abstract formulation (Q) shed some light on the problems listed in the previous linked question? Of course, a direct construction for the situation $X\subset V:=C(X)^*$, $W:=C(A)^*$, is most welcome.

edited title
Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

When a compact subset of a TVS can be continuously projected on a closed linear subspace?

deleted 68 characters in body
Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

Let $V$ be a (Hausdorff) topological vector space, $W\subset V$ a closed linear subspace, $X\subset V $ a compact.

Q: When there is a continuous map $P:X\to W$ such that $P(x)=x$ for every $x\in X\cap W$?

In general there is none (see below); to have a positive answer I'd like as mild conditions on $W$ as possible, while $X$, as a topological space, should possibly be any Hausdorff compact space, with no other assumptions.

Motivation: this is related to a previous question: for a Hausdorff compact space $X$, say that a closed subset $A$ of $X$ is nice (at least, to me) iff there exists an extension operator $E:C(A)\to C(X)$, that is a (bounded, linear) right inverse to the restriction operator $R:C(X)\to C(A)$ --$-$maybe "the pair $(X,A)$ has the Dugundji Extension Property" sounds better. Since the embedding $\delta:X\subset C(X)^*$, $x\mapsto \delta_x$, is continuous w.r.to the embeds $w^*$ topology of$X$ as subspace of $C(X)^*$ with its $w^*$ topology, the composition $P:X\xrightarrow{\delta}C(X)^*\xrightarrow{E^*}C(A)^*$$P:X\subset C(X)^*\xrightarrow{E^*}C(A)^*$ is an instance of the situation in the previous Question (for, for $P(\delta_x)=\delta_x$ for all $x\in A$. In other words, any extension operator has the form $Ef(x)=\mu_x(f)$ for a Baire measure $\mu_x$ continuously depending on $x\in X$ w.r.to the $w^*$ topology of $C(A)^*$, and $\mu_x=\delta_x$ for all $x\in A$. It is possible that thisMay this more abstract formulation of the problem may shed shed some light on the problems listed in the previous question; ofquestion? Of course, a direct construction for the situation $X\subset V:=C(X)^*$, $W:=C(A)^*$, is most welcome.

Let $V$ be a (Hausdorff) topological vector space, $W\subset V$ a closed linear subspace, $X\subset V $ a compact.

Q: When there is a continuous map $P:X\to W$ such that $P(x)=x$ for every $x\in X\cap W$?

In general there is none (see below); to have a positive answer I'd like as mild conditions on $W$ as possible, while $X$, as a topological space, should possibly be any Hausdorff compact space, with no other assumptions.

Motivation: this is related to a previous question: for a Hausdorff compact space $X$, say that a closed subset $A$ of $X$ is nice (at least, to me) iff there exists an extension operator $E:C(A)\to C(X)$, that is a (bounded, linear) right inverse to the restriction operator $R:C(X)\to C(A)$ --maybe "the pair $(X,A)$ has the Dugundji Extension Property" sounds better. Since the embedding $\delta:X\subset C(X)^*$, $x\mapsto \delta_x$, is continuous w.r.to the $w^*$ topology of $C(X)^*$, the composition $P:X\xrightarrow{\delta}C(X)^*\xrightarrow{E^*}C(A)^*$ is an instance of the situation in the previous Question (for $P(\delta_x)=\delta_x$ for all $x\in A$. In other words, any extension operator has the form $Ef(x)=\mu_x(f)$ for a Baire measure $\mu_x$ continuously depending on $x\in X$ w.r.to the $w^*$ topology of $C(A)^*$, and $\mu_x=\delta_x$ for all $x\in A$. It is possible that this more abstract formulation of the problem may shed some light on the problems listed in the previous question; of course a construction for the situation $X\subset V:=C(X)^*$, $W:=C(A)^*$, is most welcome.

Let $V$ be a (Hausdorff) topological vector space, $W\subset V$ a closed linear subspace, $X\subset V $ a compact.

Q: When there is a continuous map $P:X\to W$ such that $P(x)=x$ for every $x\in X\cap W$?

In general there is none (see below); to have a positive answer I'd like as mild conditions on $W$ as possible, while $X$, as a topological space, should possibly be any Hausdorff compact space, with no other assumptions.

Motivation: this is related to a previous question: for a Hausdorff compact space $X$, say that a closed subset $A$ of $X$ is nice (at least, to me) iff there exists an extension operator $E:C(A)\to C(X)$, that is a (bounded, linear) right inverse to the restriction operator $R:C(X)\to C(A)$ $-$maybe "the pair $(X,A)$ has the Dugundji Extension Property" sounds better. Since $x\mapsto \delta_x$ embeds $X$ as subspace of $C(X)^*$ with its $w^*$ topology, the composition $P:X\subset C(X)^*\xrightarrow{E^*}C(A)^*$ is an instance of the situation in the previous Question, for $P(\delta_x)=\delta_x$ for all $x\in A$. In other words, any extension operator has the form $Ef(x)=\mu_x(f)$ for a Baire measure $\mu_x$ continuously depending on $x\in X$ w.r.to the $w^*$ topology of $C(A)^*$, and $\mu_x=\delta_x$ for all $x\in A$. May this more abstract formulation shed some light on the problems listed in the previous question? Of course, a direct construction for the situation $X\subset V:=C(X)^*$, $W:=C(A)^*$, is most welcome.

Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269
Loading