Tent-maps, two-point sets, and the self-Tietze property

<p>This thesis discusses three distinct topics.</p> <p>A topological space <em>X</em> is said to be <em>self-Tietze</em> if for every closed <em>C ⊂ X</em>, every continuous <em>f : C &amp;rightarrow; X</em> admits a continuous ex...

Full description

Bibliographic Details
Main Author: Davies, G
Other Authors: Knight, R
Format: Thesis
Language:English
Published: 2011
Subjects:
Description
Summary:<p>This thesis discusses three distinct topics.</p> <p>A topological space <em>X</em> is said to be <em>self-Tietze</em> if for every closed <em>C ⊂ X</em>, every continuous <em>f : C &amp;rightarrow; X</em> admits a continuous extension <em>F : X &amp;rightarrow; X</em>. We show that every disconnected, self-Tietze space is ultranormal. The Tychonoff Plank is an example of a compact self-Tietze space which is not completely normal, and we establish that a completely normal, zerodimensional, homogeneous space need not be self-Tietze.</p> <p>A subset of the plane is a <em>two-point set</em> if it meets every straight line in exactly two points. We show that a two-point set cannot contain a dense <em>G<sub>δ</sub></em> subset of an arc. We also show that the complement of a two-point set is necessarily path-connected. Finally, we construct a zero-dimensional subset of the plane of which the complement is simply-connected.</p> <p>For ⋋ ∈ ℝ, the <em>tent-map with slope</em> ⋋ is the function <em>f</em> : [0, 1] &amp;rightarrow; ℝ such that <em>f</em>(<em>x</em>) = ⋋<em>x</em> for <em>x</em> &amp;leq; ½ and <em>f</em>(<em>x</em>) = ⋋(1 - <em>x</em>) for <em>x</em> &amp;geq; ½. Properties of <em>w</em>-limit sets of tent-maps, i.e. sets of the form</p> <p> <table align="center" cellborder="0"> <tr> <td><span style="font-size: 250%;">⋂</span><br><em>n</em>∈ℕ</br></td> <td> _________________ <br>{ <em>fn</em> + <em>k</em> (<em>x</em>) | <em>k</em> ∈ ℕ }</br></td> </tr> </table> </p> <p>for <em>x</em> ∈ [0, 1], are examined, and an example of a tent-map and a closed, invariant, nonempty, internally chain transitive subset of [0, 1] which is not an <em>w</em>-limit set is given.</p>