<p>If <i>X</i> is a separable reflexive Banach space, there are several natural Polish topologies on <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({\cal{B}}_{1}(X)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mrow> <mi mathvariant="script">B</mi> </mrow> </mrow> <mrow> <mn>1</mn> </mrow> </msub> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation>, the set of contraction operators on <i>X</i> (none of which being clearly “more natural” than the others), and hence several a priori different notions of genericity—in the Baire category sense—for properties of contraction operators. So it makes sense to investigate to which extent the generic properties, i.e., the comeager sets, really depend on the chosen topology on <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({\cal{B}}_{1}(X)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mrow> <mi mathvariant="script">B</mi> </mrow> </mrow> <mrow> <mn>1</mn> </mrow> </msub> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation>. In this paper, we focus on ℓ<sub><i>p</i></sub>-spaces, 1 &lt; <i>p</i> ≠ 2 &lt; ∞. We show that for some pairs of natural Polish topologies on <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({\cal{B}}_{1}(\ell_{p})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mrow> <mi mathvariant="script">B</mi> </mrow> </mrow> <mrow> <mn>1</mn> </mrow> </msub> <mo stretchy="false">(</mo> <msub> <mi>ℓ</mi> <mrow> <mi>p</mi> </mrow> </msub> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation>, the comeager sets are in fact the same; and our main result asserts that for <i>p</i> = 3 or 3/2 and in the real case, all topologies on <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\({\cal{B}}_{1}(\ell_{p})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mrow> <mi mathvariant="script">B</mi> </mrow> </mrow> <mrow> <mn>1</mn> </mrow> </msub> <mo stretchy="false">(</mo> <msub> <mi>ℓ</mi> <mrow> <mi>p</mi> </mrow> </msub> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> lying between the Weak Operator Topology and the Strong* Operator Topology share the same comeager sets. Our study relies on the consideration of continuity points of the identity map for two different topologies on <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\({\cal{B}}_{1}(\ell_{p})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mrow> <mi mathvariant="script">B</mi> </mrow> </mrow> <mrow> <mn>1</mn> </mrow> </msub> <mo stretchy="false">(</mo> <msub> <mi>ℓ</mi> <mrow> <mi>p</mi> </mrow> </msub> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation>. The other essential ingredient in the proof of our main result is a careful examination of norming vector for finite-dimensional contractions of a special type.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Generic properties of ℓp-contractions and similar operator topologies

  • Sophie Grivaux,
  • Étienne Matheron,
  • Quentin Menet

摘要

If X is a separable reflexive Banach space, there are several natural Polish topologies on \({\cal{B}}_{1}(X)\) B 1 ( X ) , the set of contraction operators on X (none of which being clearly “more natural” than the others), and hence several a priori different notions of genericity—in the Baire category sense—for properties of contraction operators. So it makes sense to investigate to which extent the generic properties, i.e., the comeager sets, really depend on the chosen topology on \({\cal{B}}_{1}(X)\) B 1 ( X ) . In this paper, we focus on ℓp-spaces, 1 < p ≠ 2 < ∞. We show that for some pairs of natural Polish topologies on \({\cal{B}}_{1}(\ell_{p})\) B 1 ( p ) , the comeager sets are in fact the same; and our main result asserts that for p = 3 or 3/2 and in the real case, all topologies on \({\cal{B}}_{1}(\ell_{p})\) B 1 ( p ) lying between the Weak Operator Topology and the Strong* Operator Topology share the same comeager sets. Our study relies on the consideration of continuity points of the identity map for two different topologies on \({\cal{B}}_{1}(\ell_{p})\) B 1 ( p ) . The other essential ingredient in the proof of our main result is a careful examination of norming vector for finite-dimensional contractions of a special type.