<p>In this paper, we first introduce convexity index <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\alpha \in [0,1]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> for star-shaped sets so that a closed star-shaped set of a Banach space is convex if and only if <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\alpha =1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. Then we extend Schauder’s fixed point theorem in the following manner (which is even new for compact convex sets): Suppose that <i>X</i> is a Banach space. If <i>S</i> is a compact star-shaped subset with respect to <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(p\in S\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mi>S</mi> </mrow> </math></EquationSource> </InlineEquation> with convexity index <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\alpha _p&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>α</mi> <mi>p</mi> </msub> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, then every continuous self-mapping <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(f{:}\,S\rightarrow S\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>:</mo> <mspace width="0.166667em" /> <mi>S</mi> <mo stretchy="false">→</mo> <mi>S</mi> </mrow> </math></EquationSource> </InlineEquation> has one of the following two properties: <OrderedList> <ListItem> <ItemNumber>(a)</ItemNumber> <ItemContent> <p>The point <i>p</i> is a fixed point of <i>f</i>, i.e., <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(f(p)=p\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <mi>p</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>p</mi> </mrow> </math></EquationSource> </InlineEquation>;</p> </ItemContent> </ListItem> <ListItem> <ItemNumber>(b)</ItemNumber> <ItemContent> <p><i>f</i> has uncountably many different eigenvalues and eigenvectors; that is, there exists an injective mapping <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\lambda \rightarrow x_\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo stretchy="false">→</mo> <msub> <mi>x</mi> <mi>λ</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> from (0,&#xa0;1] into <i>S</i> such that <Equation ID="Equ5"> <EquationSource Format="TEX">\( f(x_\lambda )=p+\frac{1}{\lambda \alpha _p}(x_\lambda -p). \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>x</mi> <mi>λ</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>p</mi> <mo>+</mo> <mfrac> <mn>1</mn> <mrow> <mi>λ</mi> <msub> <mi>α</mi> <mi>p</mi> </msub> </mrow> </mfrac> <mrow> <mo stretchy="false">(</mo> <msub> <mi>x</mi> <mi>λ</mi> </msub> <mo>-</mo> <mi>p</mi> <mo stretchy="false">)</mo> </mrow> <mo>.</mo> </mrow> </math></EquationSource> </Equation></p> </ItemContent> </ListItem> </OrderedList></p>

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

A Brouwer’s type fixed point theorem on compact star-shaped sets

  • Lixin Cheng,
  • Chulei Liu,
  • Zeyi Liu,
  • Wen Zhang

摘要

In this paper, we first introduce convexity index \(\alpha \in [0,1]\) α [ 0 , 1 ] for star-shaped sets so that a closed star-shaped set of a Banach space is convex if and only if \(\alpha =1\) α = 1 . Then we extend Schauder’s fixed point theorem in the following manner (which is even new for compact convex sets): Suppose that X is a Banach space. If S is a compact star-shaped subset with respect to \(p\in S\) p S with convexity index \(\alpha _p>0\) α p > 0 , then every continuous self-mapping \(f{:}\,S\rightarrow S\) f : S S has one of the following two properties: (a)

The point p is a fixed point of f, i.e., \(f(p)=p\) f ( p ) = p ;

(b)

f has uncountably many different eigenvalues and eigenvectors; that is, there exists an injective mapping \(\lambda \rightarrow x_\lambda \) λ x λ from (0, 1] into S such that \( f(x_\lambda )=p+\frac{1}{\lambda \alpha _p}(x_\lambda -p). \) f ( x λ ) = p + 1 λ α p ( x λ - p ) .