<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\( \mathcal{G} \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">G</mi> </math></EquationSource> </InlineEquation> denote the family of all subspaces <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\( G \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>G</mi> </math></EquationSource> </InlineEquation> of the plane <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\( \mathbb{R}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>such that <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\( G \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>G</mi> </math></EquationSource> </InlineEquation> is the graph of a function from <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\( \mathbb{R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">R</mi> </math></EquationSource> </InlineEquation> to <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\( \mathbb{R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">R</mi> </math></EquationSource> </InlineEquation>.We prove that <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\( \mathcal{G} \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">G</mi> </math></EquationSource> </InlineEquation> has two subfamilies <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\( \mathcal{G}_1,\mathcal{G}_2 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">G</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi mathvariant="script">G</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> of <i>connected</i>spaces such that the cardinality of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\( \mathcal{G}_1 \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">G</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> is <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\( \mathbf{c} :=2^{\aleph_0} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">c</mi> <mo>:</mo> <mo>=</mo> <msup> <mn>2</mn> <msub> <mi>ℵ</mi> <mn>0</mn> </msub> </msup> </mrow> </math></EquationSource> </InlineEquation> and the cardinality of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\( \mathcal{G}_2 \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">G</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> is <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\( 2^ \mathbf{c} \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mn>2</mn> <mi mathvariant="bold">c</mi> </msup> </math></EquationSource> </InlineEquation>, every space in <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\( \mathcal{G}_1 \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">G</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> is <i>completely metrizable</i>,each <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\( G\in\mathcal{G}_2 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>∈</mo> <msub> <mi mathvariant="script">G</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> is a dense subset of <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\( \mathbb{R}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>,and if <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\( X_1,X_2 \in \mathcal{G}_1\cup\mathcal{G}_2 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>X</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>X</mi> <mn>2</mn> </msub> <mo>∈</mo> <msub> <mi mathvariant="script">G</mi> <mn>1</mn> </msub> <mo>∪</mo> <msub> <mi mathvariant="script">G</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> are distinctthen the space <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\( X_1 \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>X</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> is neither homeomorphic to a subspaceof <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\( X_2 \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>X</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> nor homeomorphic to a proper subspace of <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\( X_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>X</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation>.On the other hand, the family <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\( \mathcal{G} \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">G</mi> </math></EquationSource> </InlineEquation> contains precisely <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(\aleph_0 \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ℵ</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> <i>locally connected</i> spacesup to homeomorphism, and if <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\( X\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>X</mi> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq24"> <EquationSource Format="TEX">\(Y \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>Y</mi> </math></EquationSource> </InlineEquation> are such spaces (including the case <InlineEquation ID="IEq25"> <EquationSource Format="TEX">\(X=Y\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>=</mo> <mi>Y</mi> </mrow> </math></EquationSource> </InlineEquation>) then <InlineEquation ID="IEq26"> <EquationSource Format="TEX">\(X \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>X</mi> </math></EquationSource> </InlineEquation> is homeomorphic to some proper subspace of <InlineEquation ID="IEq27"> <EquationSource Format="TEX">\( Y\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>Y</mi> </math></EquationSource> </InlineEquation>.Furthermore, if <InlineEquation ID="IEq28"> <EquationSource Format="TEX">\( \tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation> is a topology on the set <InlineEquation ID="IEq29"> <EquationSource Format="TEX">\( \mathbb{R} \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">R</mi> </math></EquationSource> </InlineEquation>finer than the Euclidean topology and the space <InlineEquation ID="IEq30"> <EquationSource Format="TEX">\( ( \mathbb{R},\tau) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">R</mi> <mo>,</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is separable and locally connected, then the space is locally compact and homeomorphic to some space in <InlineEquation ID="IEq31"> <EquationSource Format="TEX">\( \mathcal{G} \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">G</mi> </math></EquationSource> </InlineEquation>. In a very natural way we establish a complete classification of all these refinements <InlineEquation ID="IEq32"> <EquationSource Format="TEX">\( \tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation> of the real line. </p>

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

On real functions with graphs either connected or locally connected

  • G. Kuba

摘要

Let \( \mathcal{G} \) G denote the family of all subspaces \( G \) G of the plane \( \mathbb{R}^2\) R 2 such that \( G \) G is the graph of a function from \( \mathbb{R}\) R to \( \mathbb{R}\) R .We prove that \( \mathcal{G} \) G has two subfamilies \( \mathcal{G}_1,\mathcal{G}_2 \) G 1 , G 2 of connectedspaces such that the cardinality of \( \mathcal{G}_1 \) G 1 is \( \mathbf{c} :=2^{\aleph_0} \) c : = 2 0 and the cardinality of \( \mathcal{G}_2 \) G 2 is \( 2^ \mathbf{c} \) 2 c , every space in \( \mathcal{G}_1 \) G 1 is completely metrizable,each \( G\in\mathcal{G}_2 \) G G 2 is a dense subset of \( \mathbb{R}^2\) R 2 ,and if \( X_1,X_2 \in \mathcal{G}_1\cup\mathcal{G}_2 \) X 1 , X 2 G 1 G 2 are distinctthen the space \( X_1 \) X 1 is neither homeomorphic to a subspaceof \( X_2 \) X 2 nor homeomorphic to a proper subspace of \( X_1\) X 1 .On the other hand, the family \( \mathcal{G} \) G contains precisely \(\aleph_0 \) 0 locally connected spacesup to homeomorphism, and if \( X\) X , \(Y \) Y are such spaces (including the case \(X=Y\) X = Y ) then \(X \) X is homeomorphic to some proper subspace of \( Y\) Y .Furthermore, if \( \tau \) τ is a topology on the set \( \mathbb{R} \) R finer than the Euclidean topology and the space \( ( \mathbb{R},\tau) \) ( R , τ ) is separable and locally connected, then the space is locally compact and homeomorphic to some space in \( \mathcal{G} \) G . In a very natural way we establish a complete classification of all these refinements \( \tau \) τ of the real line.