normality for approach spaces and contractive realvalued
play

Normality for approach spaces and contractive realvalued maps Mark - PowerPoint PPT Presentation

Normality for approach spaces and contractive realvalued maps Mark Sioen joint with Eva Colebunders & Wouter Van Den Haute Workshop on Algebra, Logic and Topology Universidade de Coimbra September 27 29, 2018 Overview of the talk


  1. Normality for approach spaces and contractive realvalued maps Mark Sioen joint with Eva Colebunders & Wouter Van Den Haute Workshop on Algebra, Logic and Topology Universidade de Coimbra September 27 –29, 2018

  2. Overview of the talk ◮ The category App ◮ Lower and upper regular functions ◮ Normality and separation by Urysohn maps ◮ Katˇ etov-Tong’s insertion condition ◮ Tietze’s extension condition ◮ Links to other normality notions in App

  3. The category App Definition (Lowen) A distance is a function δ : X × 2 X → [0 , ∞ ] that satisfies: (1) ∀ x ∈ X , ∀ A ∈ 2 X : x ∈ A ⇒ δ ( x , A ) = 0 (2) δ ( x , ∅ ) = ∞ (3) ∀ x ∈ X , ∀ A ∈ 2 X : δ ( x , A ∪ B ) = min { δ ( x , A ) , δ ( x , B ) } (4) ∀ x ∈ X , ∀ A ∈ 2 X , ∀ ε ∈ [0 , ∞ ] : δ ( x , A ) ≤ δ ( x , A ( ε ) ) + ε with A ( ε ) = { x ∈ X | δ ( x , A ) ≤ ε } . The pair ( X , δ ) is called an approach space .

  4. The category App Definition (Lowen) For X , Y approach spaces, a map f : X → Y is called a contraction if ∀ x ∈ X , ∀ A ∈ 2 X : δ Y ( f ( x ) , f ( A )) ≤ δ X ( x , A ) . let App be the category of approach spaces and contractions Facts: ◮ App is a topological category ◮ Top ֒ → Ap fully + reflectively + coreflectively via � 0 if x ∈ cl T ( A ) T �→ δ T ( x , A ) = ∞ if x �∈ cl T ( A ) ◮ ( q ) Met ֒ → Ap fully +coreflectively via d �→ δ d ( x , A ) = inf d ( x , a ) a ∈ A

  5. Lower and upper regular functions ◮ on [0 , ∞ ], define the distance � ( x − sup A ) ∨ 0 A � = ∅ δ P ( x , A ) = A = ∅ . . ∞ Then P = ([0 , ∞ ] , δ P ) is initially dense in App . ◮ on [0 , ∞ ], define the quasi-metric d P ( x , y ) = ( x − y ) ∨ 0 and its dual d − P ( x , y ) = ( y − x ) ∨ 0 ◮ note that d E = d P ∨ d − P : the Euclidean metric

  6. Lower and upper regular functions ◮ for an approach space X , put L b = { f : ( X , δ ) → ([0 , ∞ ] , δ d P ) | bounded, contractive } . U = { f : ( X , δ ) → ([0 , ∞ ] , δ d − P ) | bounded, contractive } . and K b = { f : ( X , δ ) → ([0 , ∞ ] , δ d E ) | bounded, contractive } . ◮ observe that U ∩ L b = K b

  7. Lower and upper regular functions ◮ we have lower and upper hull operators l b : [0 , ∞ ] X b → [0 , ∞ ] X b , resp. u : [0 , ∞ ] X b → [0 , ∞ ] X b , defined by � { ν ∈ L b | ν ≤ µ } , l b ( µ ) := resp. � u ( µ ) := { ν ∈ U | µ ≤ ν } ◮ L b is generated by { δ ω A = δ ( · , A ) ∧ ω | A ∈ 2 X , ω < ∞} ◮ U is generated by { ι ω A = ( ω − δ ( · , A c )) ∨ 0 | A ∈ 2 X , ω < ∞}

  8. Normality and separation by Urysohn maps Definition Let X an approach space and γ > 0. Two sets A , B ⊆ X are called γ -separated if A ( α ) ∩ B ( β ) = ∅ , whenever α ≥ 0, β ≥ 0 and α + β < γ . Definition Let X be an approach space. Let F : Q → 2 X such that � q ∈ Q F ( q ) = X , � q ∈ Q F ( q ) = ∅ . Then F is a contractive scale if it satisfies ∀ r , s ∈ Q : r < s ⇒ F ( r ) and ( X \ F ( s )) are ( s − r )-separated

  9. Normality and separation by Urysohn maps Definition An approach space X is said to be normal if for all A , B ⊆ X , for all γ > 0 with A and B γ -separated, a contractive scale F exists such that (i) ∀ q ∈ Q − : F ( q ) = ∅ ; (ii) A (0) ⊆ � 0 F ( q ); q ∈ Q + (iii) B (0) ∩ � 0 ∩ ]0 ,γ ] F ( r ) = ∅ . r ∈ Q +

  10. Normality and separation by Urysohn maps Proposition Let X be an approach space. If F : Q → 2 X be a contractive scale on X , Then f : ( X , δ ) → ( R , δ d E ) : x �→ inf { q ∈ Q | x ∈ F ( q ) } is a contraction. Conversely, every contraction f : ( X , δ ) → ( R , δ d E ) can be obtained in this way.

  11. Normality and separation by Urysohn maps Theorem For an approach space X , t.f.a.e.: (1) X is normal, (2) X satisfies separation by Urysohn contractive maps in the following sense: for every A , B ∈ 2 X γ -separated ( γ > 0), there exists a contraction f : X → ([0 , γ ] , δ d E )) satisfying f ( a ) = γ for a ∈ A (0) and f ( b ) = 0 for b ∈ B (0) .

  12. Normality and separation by Urysohn maps Corollary For a topological space ( X , T ), t.f.a.e. (1) ( X , T ) is normal in the topological sense, (2) ( X , δ T ) is normal in our sense.

  13. Normality and separation by Urysohn maps Some examples: ◮ The approach space P = ([0 , ∞ ] , δ P )) is normal (and not quasi-metric). ◮ The quasi-metric approach spaces ([0 , ∞ ] , δ d P ) and ([0 , ∞ ] , δ d − P ) are normal. ◮ The quasi-metric approach space ([0 , ∞ [ , δ q ) defined by � y − x x ≤ y , q ( x , y ) = ∞ x > y is normal. Note that the underlying topological space is the Sorgenfrey line.

  14. Normality and separation by Urysohn maps Proof: ◮ Take A , B ∈ 2 X ,γ -separated for δ q (for some γ > 0). ◮ Prove that γ -separated for δ d E . ◮ Since δ d E is metric, hence (approach) normal, there exists a contraction f : ([0 , ∞ [ , δ d E ) → ([0 , γ ] , δ d E ) with f ( A (0) E ) ⊆ { 0 } and f ( B (0) E ) ⊆ { γ } . ◮ Since δ E ≤ δ q , also f : ([0 , ∞ [ , δ q ) → ([0 , γ ] , δ d E ) with f ( A (0) E ) ⊆ { 0 } is a contraction and A (0) q ⊆ A (0) E and B (0) q ⊆ B (0) E . �

  15. Katˇ etov-Tong’s insertion condition Definition An approach space X satisfies Katˇ etov-Tong’s intsertion condition if for bounded functions from X to [0 , ∞ ] satisfying g ≤ h with g upper regular and h lower regular, there exists a contractive map f : X → ([0 , ∞ ] , δ d E ) satisfying g ≤ f ≤ h . A special instance of Tong’s Lemma For an approach space X and ω < ∞ , put K = { f : X → ([0 , ω ] , δ d E )) | f contractive } and M = [0 , ω ] X , let s ∈ K δ = { � n ≥ 1 t n | ∀ n : t n ∈ K } and t ∈ K σ = { � n t n | ∀ n : t n ∈ K } with s ≤ t then a u ∈ K σ ∩ K δ exists satisfying s ≤ u ≤ t .

  16. Katˇ etov-Tong’s insertion condition Theorem For an approach space X , t.f.a.e. (1) ( X , δ ) satisfies Katˇ etov-Tong’s interpolation condition, (2) ∀ A , B ∈ 2 X , ∀ ω < ∞ : ( ι ω A ≤ δ ω B ⇒ ∃ f ∈ K b : ι ω A ≤ f ≤ δ ω B ), (3) X satisfies separation by Urysohn contractive maps, (4) X is normal. Corollary (1) We recover the classical Katˇ etov-Tong’s interpolation characterization of topological normality (2) For every metric space ( X , d ), the corresponding approach space ( X , δ d ) is normal.

  17. Tietze’s extension condition ◮ Given a set X and a subset A ⊂ X , we define θ A : X → [0 , ∞ ] by � 0 x ∈ A , θ A ( x ) = ∞ x ∈ X \ A . ◮ Given f ∈ [0 , ∞ ] X b , a family ( µ ε ) ε> 0 of functions taking only a finite number of values, written as   n ( ε ) � � i ) n ( ε ) � m ε with ( M ε  µ ε := i + θ M ε i =1 a partitioning of X  i i =1 ε> 0 i ∈ R + , for ε > 0 , is called a development of f if for and all m ε all ε > 0 µ ε ≤ f ≤ µ ε + ε.

  18. Tietze’s extension condition Definition We say that an approach space X , satisfies Tietze’s extension condition if for every Y ⊆ X and γ ∈ R + , and every contraction f : Y → ([0 , γ ] , δ d E )) � � �� µ ε := � n ( ε ) m ε which allows a development i + θ M ε 0 <ε< 1 such i =1 i that ∈ Y , ∀ ε ∈ ]0 , 1[ , ∀ 1 ≤ l , k ≤ n ( ε ) : m ε l − m ε ∀ x / k ≤ δ M ε k ( x ) + δ M ε l ( x ) , there exists a contraction g : X → ([0 , γ ] , δ d E )) extending, i.e. g | Y = f .

  19. Tietze’s extension condition Corollary We recover the classical Tietze extension characterization of topological normality. Summary We have shown that for an approach space X t.f.a.e. (1) X is normal (via contractive scales ), (2) X satisfies separation by Urysohn contractive maps , (3) X satisfies Katˇ etov-Tong’s insertion condition, (4) X satisfies Tietze’s extension condition .

  20. Links to other normality notions in App : approach frame normality Proposition Let X be an approach space. Consider the following properties: (1) ( X , δ ) is normal (2) For A , B ⊆ X , γ -separated for some γ > 0 , there exists C ⊆ X such that A and C are γ/ 2-separated and X \ C and B are γ/ 2-separated. (3) L is approach frame normal: For A , B ⊆ X , ε > 0 such that A ( ε ) ∩ B ( ε ) = ∅ there exist ρ > 0 , C ⊆ X with A ( ρ ) ∩ C ( ρ ) = ∅ and ( X \ C ) ( ρ ) ∩ B ( ρ ) = ∅ . Then we have (1) ⇒ (2) ⇒ (3). Note: we have finite counterexamples to the converse implications.

  21. Links to other normality notions in App : (topological) normality of the underlying topology Neither of the implications is valid: ◮ Let X = { x , y , z } and put d ( a , a ) = 0 (all ∈ X ), d ( x , z ) = 1, d ( y , z ) = 2, d ( x , y ) = 4 and all other distances equal to ∞ . Then the metric approach space ( X , δ d ) is not (approach) normal but the Top -coreflection (X, T d ) is discrete, hence (topologically) normal. ◮ Define a quasi-metric q S on [0 , ∞ [ × [0 , ∞ [ by q S (( a ′ , a ′′ ) , ( b ′ , b ′′ )) = q ( a ′ , b ′ ) + q ( a ′′ , b ′′ ) . Then ([0 , ∞ [ × [0 , ∞ [ , δ q S ) can be shown to be (approach normal) but it’s underlying topological space is the Sorgenfrey plane which is known to be not normal.

Recommend


More recommend