a lindel f topological group with non lindel f square
play

A Lindelf topological group with non-Lindelf square (joint work with - PowerPoint PPT Presentation

Apr 20, 2023 •262 likes •1.02k views

A Lindelf topological group with non-Lindelf square (joint work with Liuzhen Wu) Yinhe Peng Chinese Academy of Sciences April 1, 2015 Yinhe Peng (CAS) April 1, 2015 1 / 22 Preservation of topological properties for topological groups

  1. A Lindelöf topological group with non-Lindelöf square (joint work with Liuzhen Wu) Yinhe Peng Chinese Academy of Sciences April 1, 2015 Yinhe Peng (CAS) April 1, 2015 1 / 22

  2. Preservation of topological properties for topological groups under taking square A topological group is a topological space which is also a group such that its group operations are continuous. Yinhe Peng (CAS) April 1, 2015 2 / 22

  3. Preservation of topological properties for topological groups under taking square A topological group is a topological space which is also a group such that its group operations are continuous. While pseudocompact is not preserved under taking square for Tychonoff spaces, Comfort and Ross proved the following remarkable theorem: Yinhe Peng (CAS) April 1, 2015 2 / 22

  4. Preservation of topological properties for topological groups under taking square A topological group is a topological space which is also a group such that its group operations are continuous. While pseudocompact is not preserved under taking square for Tychonoff spaces, Comfort and Ross proved the following remarkable theorem: Theorem (Comfort, Ross) If a topological group is pseudocompact, so is its square. Yinhe Peng (CAS) April 1, 2015 2 / 22

  5. Preservation of topological properties for topological groups under taking square A topological group is a topological space which is also a group such that its group operations are continuous. While pseudocompact is not preserved under taking square for Tychonoff spaces, Comfort and Ross proved the following remarkable theorem: Theorem (Comfort, Ross) If a topological group is pseudocompact, so is its square. What about the others? Yinhe Peng (CAS) April 1, 2015 2 / 22

  6. 4 topological properties Arhangel’skii asked (1981) that whether the following topological properties are preserved under taking square for topological groups: Yinhe Peng (CAS) April 1, 2015 3 / 22

  7. 4 topological properties Arhangel’skii asked (1981) that whether the following topological properties are preserved under taking square for topological groups: (a) normality; Yinhe Peng (CAS) April 1, 2015 3 / 22

  8. 4 topological properties Arhangel’skii asked (1981) that whether the following topological properties are preserved under taking square for topological groups: (a) normality; (b) weak paracompactness; Yinhe Peng (CAS) April 1, 2015 3 / 22

  9. 4 topological properties Arhangel’skii asked (1981) that whether the following topological properties are preserved under taking square for topological groups: (a) normality; (b) weak paracompactness; (c) paracompactness; Yinhe Peng (CAS) April 1, 2015 3 / 22

  10. 4 topological properties Arhangel’skii asked (1981) that whether the following topological properties are preserved under taking square for topological groups: (a) normality; (b) weak paracompactness; (c) paracompactness; (d) Lindelöfness. Yinhe Peng (CAS) April 1, 2015 3 / 22

  11. 4 topological properties Arhangel’skii asked (1981) that whether the following topological properties are preserved under taking square for topological groups: (a) normality; (b) weak paracompactness; (c) paracompactness; (d) Lindelöfness. It’s well-known that for regular spaces, Lindelöf ⇒ paracompact ⇒ normal & weakly paracompact. Yinhe Peng (CAS) April 1, 2015 3 / 22

  12. Lindelöf and L groups A regular space is Lindelöf if every open cover has a countable subcover. Yinhe Peng (CAS) April 1, 2015 4 / 22

  13. Lindelöf and L groups A regular space is Lindelöf if every open cover has a countable subcover. A hereditarily Lindelöf space is a space that every subspace is Lindelöf. Yinhe Peng (CAS) April 1, 2015 4 / 22

  14. Lindelöf and L groups A regular space is Lindelöf if every open cover has a countable subcover. A hereditarily Lindelöf space is a space that every subspace is Lindelöf. An L space is a hereditarily Lindelöf space which is not separable. Yinhe Peng (CAS) April 1, 2015 4 / 22

  15. Lindelöf and L groups A regular space is Lindelöf if every open cover has a countable subcover. A hereditarily Lindelöf space is a space that every subspace is Lindelöf. An L space is a hereditarily Lindelöf space which is not separable. Weaker version: is the square of hereditarily Lindelöf group normal or weakly paracompact? Yinhe Peng (CAS) April 1, 2015 4 / 22

  16. Earlier results For topological spaces, there is no much difference between taking square or taking product, since ( X ∪ Y ) 2 contains X × Y as a clopen subspace. One major difficulty for topological group is that we can’t do this. Yinhe Peng (CAS) April 1, 2015 5 / 22

  17. Earlier results For topological spaces, there is no much difference between taking square or taking product, since ( X ∪ Y ) 2 contains X × Y as a clopen subspace. One major difficulty for topological group is that we can’t do this. Theorem (Douwen, 1984) There are two Lindelöf groups G and H such that G × H is not Lindelöf. Yinhe Peng (CAS) April 1, 2015 5 / 22

  18. Earlier results Consistent results for taking square of groups. Yinhe Peng (CAS) April 1, 2015 6 / 22

  19. Earlier results Consistent results for taking square of groups. Theorem (Malykhin,1987) Asume cof ( M ) = ω 1 . There is a Lindelöf group whose square is not Lindelöf. Yinhe Peng (CAS) April 1, 2015 6 / 22

  20. Earlier results Consistent results for taking square of groups. Theorem (Malykhin,1987) Asume cof ( M ) = ω 1 . There is a Lindelöf group whose square is not Lindelöf. Theorem (Todorcevic,1993) Assume Pr 0 ( ω 1 , ω 1 , 4 , ω ) . There is a Lindelöf group whose square is not Lindelöf. Yinhe Peng (CAS) April 1, 2015 6 / 22

  21. Another problem Why hereditarily Lindelöf? Because there are many situations that just Lindelöf is not enough. Yinhe Peng (CAS) April 1, 2015 7 / 22

  22. Another problem Why hereditarily Lindelöf? Because there are many situations that just Lindelöf is not enough. For example, the S and L space problem which is also linked to our problem. Yinhe Peng (CAS) April 1, 2015 7 / 22

  23. Another problem Why hereditarily Lindelöf? Because there are many situations that just Lindelöf is not enough. For example, the S and L space problem which is also linked to our problem. While separable and Lindelöf are two properties that are easy to distinguish, it is not for hereditarily separable and hereditarily Lindelöf. Yinhe Peng (CAS) April 1, 2015 7 / 22

  24. Another problem Why hereditarily Lindelöf? Because there are many situations that just Lindelöf is not enough. For example, the S and L space problem which is also linked to our problem. While separable and Lindelöf are two properties that are easy to distinguish, it is not for hereditarily separable and hereditarily Lindelöf. See Rudin’s survey “S and L spaces” for more details. Yinhe Peng (CAS) April 1, 2015 7 / 22

  25. Another problem Why hereditarily Lindelöf? Because there are many situations that just Lindelöf is not enough. For example, the S and L space problem which is also linked to our problem. While separable and Lindelöf are two properties that are easy to distinguish, it is not for hereditarily separable and hereditarily Lindelöf. See Rudin’s survey “S and L spaces” for more details. Theorem (Rudin, 1972) If there is a Suslin tree, then there is a S space. Yinhe Peng (CAS) April 1, 2015 7 / 22

  26. Another problem Why hereditarily Lindelöf? Because there are many situations that just Lindelöf is not enough. For example, the S and L space problem which is also linked to our problem. While separable and Lindelöf are two properties that are easy to distinguish, it is not for hereditarily separable and hereditarily Lindelöf. See Rudin’s survey “S and L spaces” for more details. Theorem (Rudin, 1972) If there is a Suslin tree, then there is a S space. Theorem (Todorcevic, 1981) It is consistent that there are no S spaces. Yinhe Peng (CAS) April 1, 2015 7 / 22

  27. Another problem Why hereditarily Lindelöf? Because there are many situations that just Lindelöf is not enough. For example, the S and L space problem which is also linked to our problem. While separable and Lindelöf are two properties that are easy to distinguish, it is not for hereditarily separable and hereditarily Lindelöf. See Rudin’s survey “S and L spaces” for more details. Theorem (Rudin, 1972) If there is a Suslin tree, then there is a S space. Theorem (Todorcevic, 1981) It is consistent that there are no S spaces. Theorem (Moore, 2006) There is an L space. Yinhe Peng (CAS) April 1, 2015 7 / 22

  28. A little strengthening - L group It’s great that we have an L space in ZFC. But can we have a group version? Yinhe Peng (CAS) April 1, 2015 8 / 22

  29. A little strengthening - L group It’s great that we have an L space in ZFC. But can we have a group version? Question Is there an L group - a topological group whose underlying set is an L space? Yinhe Peng (CAS) April 1, 2015 8 / 22

  30. A little strengthening - L group It’s great that we have an L space in ZFC. But can we have a group version? Question Is there an L group - a topological group whose underlying set is an L space? The first L group appeared quite early. Theorem (Hajnal, Juhasz, 1973) It is consistent to have an L group. Yinhe Peng (CAS) April 1, 2015 8 / 22

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Lindel of spaces and large cardinals Toshimichi Usuba ( ) Waseda University July

Lindel of spaces and large cardinals Toshimichi Usuba ( ) Waseda University July

Lindel of spaces and large cardinals Toshimichi Usuba ( ) Waseda University July 26, 2016 TOPOSYM 2016 1 / 30 Abstract: We are going to show some connections between large cardinals and Lindel of spaces with small

814 views • 58 slides
Remarks on Scheepers Theorem on the cardinality of Lindel of spaces Masaru Kada (Osaka

Remarks on Scheepers Theorem on the cardinality of Lindel of spaces Masaru Kada (Osaka

Remarks on Scheepers Theorem on the cardinality of Lindel of spaces Masaru Kada (Osaka Prefecture University, Japan) RIMS conference Interplay between large cardinals and small cardinals Kyoto,

553 views • 28 slides
Yehuda uda Lindel dell, Benny Pinkas and Eli Oxman Bar-Ilan University, Israel Info forma

Yehuda uda Lindel dell, Benny Pinkas and Eli Oxman Bar-Ilan University, Israel Info forma

Yehuda uda Lindel dell, Benny Pinkas and Eli Oxman Bar-Ilan University, Israel Info forma mation tion theoreti etic Uses aesthetic mathematical tools that are typically very efficient Adversary is computationally unbounded

243 views • 22 slides
Concepts and Algorithms of Scientific and Visual Computing Ordinary Di ff erential Equations

Concepts and Algorithms of Scientific and Visual Computing Ordinary Di ff erential Equations

Concepts and Algorithms of Scientific and Visual Computing Ordinary Di ff erential Equations CS448J, Autumn 2015, Stanford University Dominik L. Michels Cauchy-Kovalevskaya and Picard-Lindel of Theorem Consider the ordinary di ff

441 views • 8 slides
Solving Ordinary Differential Equations in Coq Evgeny Makarov Joint work with Bas Spitters

Solving Ordinary Differential Equations in Coq Evgeny Makarov Joint work with Bas Spitters

Solving Ordinary Differential Equations in Coq Evgeny Makarov Joint work with Bas Spitters Radboud University Nijmegen 19 November 2012 1 / 19 Outline Type Classes on the Example of Approximate Rationals 1 Fast Reals 2 Picard-Lindel

416 views • 19 slides
Concepts and Algorithms of Scientific and Visual Computing Stiff Differential Equations

Concepts and Algorithms of Scientific and Visual Computing Stiff Differential Equations

Concepts and Algorithms of Scientific and Visual Computing Stiff Differential Equations CS448J, Autumn 2015, Stanford University Dominik L. Michels Stiff Cauchy Problems According to the Picard-Lindel of theorem, the Cauchy problem d x

201 views • 8 slides
Validated simulation of ODEs Julien Alexandre dit Sandretto Department U2IS ENSTA Paris

Validated simulation of ODEs Julien Alexandre dit Sandretto Department U2IS ENSTA Paris

Validated simulation of ODEs Julien Alexandre dit Sandretto Department U2IS ENSTA Paris SSC310-2020 Contents Initial Value Problem of Ordinary Differential Equations Problem of integral computation Picard-Lindel of Integration scheme

587 views • 33 slides
Benny Pinkas, Bar-Ilan University Can el elec ecti tions, ons, auction ions, , statistic

Benny Pinkas, Bar-Ilan University Can el elec ecti tions, ons, auction ions, , statistic

Shai Halevi, IBM T.J. Watson Yehuda uda Lindel dell, Bar-Ilan University Benny Pinkas, Bar-Ilan University Can el elec ecti tions, ons, auction ions, , statistic tistical al analysis lysis of distributed parties data really be

408 views • 36 slides
THE HOMOTOPY TYPE OF G/ TOP QAYUM KHAN 1. Definition of G/ TOP Recall TOP n is the topological

THE HOMOTOPY TYPE OF G/ TOP QAYUM KHAN 1. Definition of G/ TOP Recall TOP n is the topological

THE HOMOTOPY TYPE OF G/ TOP QAYUM KHAN 1. Definition of G/ TOP Recall TOP n is the topological group of self-homeomorphisms of R n fixing 0. Crossing with the identity on R gives stabilization maps for the topological group TOP := colim n

378 views • 3 slides
A Dichotomy Theorem and Other Results for a Class of Quotients of Topological Groups A. V.

A Dichotomy Theorem and Other Results for a Class of Quotients of Topological Groups A. V.

A Dichotomy Theorem and Other Results for a Class of Quotients of Topological Groups A. V. Arhangelskii MPGU and MGU, Moscow, RUSSIA Suppose that G is a topological group and H is a closed subgroup of G . Then G / H stands for the quotient

634 views • 30 slides
DELIVERY l i m u a S h a h S 0 1 0 2 U L k . c a H net-square # who am i

DELIVERY l i m u a S h a h S 0 1 0 2 U L k . c a H net-square # who am i

Hi! Your exploits have arrived. EXPLOIT DELIVERY l i m u a S h a h S 0 1 0 2 U L k . c a H net-square # who am i Saumil Shah, CEO Net-square LinkedIn: saumilshah net-square The Web Has Evolved "The amount of

1.01k views • 37 slides
Topological Sort Shivam Patel Viktor Zenkov Questions 1. Who first described topological sort?

Topological Sort Shivam Patel Viktor Zenkov Questions 1. Who first described topological sort?

Topological Sort Shivam Patel Viktor Zenkov Questions 1. Who first described topological sort? 2. What kind of graph is required to perform a topological sort? 3. What is the running time of topological sort? Outline About Us

598 views • 33 slides
Floquet Topological Insulator: UnderstandingFloquet topological insulator in semiconductor

Floquet Topological Insulator: UnderstandingFloquet topological insulator in semiconductor

Introduction Building up our toolbox The Model Analysis Floquet Topological Insulator: UnderstandingFloquet topological insulator in semiconductor quantum wellsby Lindner et al. Condensed Matter Journal Club Caltech February 12 2014

639 views • 45 slides
EE 355 Unit 18 DFS and Topological Sort Mark Redekopp 2 Topological Sort Given a graph of

EE 355 Unit 18 DFS and Topological Sort Mark Redekopp 2 Topological Sort Given a graph of

1 EE 355 Unit 18 DFS and Topological Sort Mark Redekopp 2 Topological Sort Given a graph of dependencies (tasks, prerequisities, etc.) EE 109L MA 245 PHYS 152 topological sort creates a consistent ordering of tasks EE 209 EE 202L

1.16k views • 60 slides
Topological Autoencoders 13. November, 2019 Machine Learning and Computational Biology Group, ETH

Topological Autoencoders 13. November, 2019 Machine Learning and Computational Biology Group, ETH

Topological Autoencoders 13. November, 2019 Machine Learning and Computational Biology Group, ETH Zurich Michael Moor , Max Horn , Bastian Rieck and Karsten Borgwardt Motivation Representation of our data , but in 100 dimensional

511 views • 24 slides
The Fundamental Group of Topological Spaces An Introduction To Algebraic Topology Thomas Gagne

The Fundamental Group of Topological Spaces An Introduction To Algebraic Topology Thomas Gagne

Basic Topology The Fundamental Group Examples Seifert-van Kampen Theorem The Fundamental Group of Topological Spaces An Introduction To Algebraic Topology Thomas Gagne Department of Mathematics University of Puget Sound May 4, 2015 Basic

393 views • 22 slides
On the Notion of Pseudo-Free Groups Ronald L. Rivest MIT Computer Science and Artificial

On the Notion of Pseudo-Free Groups Ronald L. Rivest MIT Computer Science and Artificial

On the Notion of Pseudo-Free Groups Ronald L. Rivest MIT Computer Science and Artificial Intelligence Laboratory TCC 2/21/2004 Outline Assumptions: complexity-theoretic, group- theoretic Groups: Math, Computational, BB, Free Weak

626 views • 23 slides
Matrix group recognition: status and future? Eamonn OBrien University of Auckland July 2019

Matrix group recognition: status and future? Eamonn OBrien University of Auckland July 2019

Matrix group recognition: status and future? Eamonn OBrien University of Auckland July 2019 artlogo Eamonn OBrien Matrix group recognition: status and future? Outline of lecture G = X GL ( d , q ) artlogo Eamonn OBrien

1.54k views • 114 slides
Collections of distinguished p-subgroups and homology decompositions for classifying spaces of

Collections of distinguished p-subgroups and homology decompositions for classifying spaces of

Collections of distinguished p-subgroups and homology decompositions for classifying spaces of finite groups Silvia Onofrei Department of Mathematics University of California at Riverside geometries for the sporadic simple groups

472 views • 17 slides
Region X Housing Counseling Roundtable March 16, 2016 Jerrold Mayer, Director, Office of

Region X Housing Counseling Roundtable March 16, 2016 Jerrold Mayer, Director, Office of

Region X Housing Counseling Roundtable March 16, 2016 Jerrold Mayer, Director, Office of Outreach and Capacity Building HUD, Office of Housing Counseling Agenda Value of Housing Counseling Positive Impacts of Housing Counseling

508 views • 20 slides
Personality Part 1/3 200 million per month! How does the mind work? How does

Personality Part 1/3 200 million per month! How does the mind work? How does

Personality Part 1/3 200 million per month! How does the mind work? How does Jacks Jasmines Jabaris Jills Jans Jacobs mind work? Personality a persons characteristic style of behaving, thinking,

499 views • 24 slides
More Than a Query Language: SQL in the 21 st Century @MarkusWinand @ModernSQL

More Than a Query Language: SQL in the 21 st Century @MarkusWinand @ModernSQL

More Than a Query Language: SQL in the 21 st Century @MarkusWinand @ModernSQL http://www.almaden.ibm.com/cs/people/chamberlin/sequel-1974.pdf More Than a Query Language: SQL in the 21 st Century @MarkusWinand @ModernSQL

1.74k views • 146 slides
External definability and groups in NIP Artem Chernikov Hebrew University, Jerusalem Model

External definability and groups in NIP Artem Chernikov Hebrew University, Jerusalem Model

External definability and groups in NIP Artem Chernikov Hebrew University, Jerusalem Model Theory 2013 Ravello, June 12, 2013 Joint work with Anand Pillay and Pierre Simon. Setting T is a complete first-order theory in a language L ,

514 views • 20 slides
Groups in action or How to count (mod symmetry) Ross Willard University of Waterloo University

Groups in action or How to count (mod symmetry) Ross Willard University of Waterloo University

Groups in action or How to count (mod symmetry) Ross Willard University of Waterloo University of Northern British Columbia April 8, 2013 Motivating problem Group actions Orbits, Symmetries, Invariants Burnsides Lemma Applications

383 views • 27 slides

More recommend