SlideShare a Scribd company logo
1 of 93
S EPARABLE S PACES
                    K ILLING




K ILLING S-S PACES AND G ETTING AWAY
               W ITH I T
 W EAKENINGS OF ♦ AND STRONG SEPARABILITY


                  Erik A. Andrejko

            University of Wisconsin - Madison


                     Mar 25 2008




          E RIK A. A NDREJKO   K ILLING S-S PACES AND G ETTING AWAY W ITH I T
S EPARABLE S PACES
                                 K ILLING


S PACES


   D EFINITION
  A space X is called separable if it contains a countable dense subset.

   D EFINITION
  A space X is called right separated if it contains an uncountable
  subspace {xξ : ξ  ω1 } in which for each η  ω1

                            {xξ : ξ  η} is open




                       E RIK A. A NDREJKO   K ILLING S-S PACES AND G ETTING AWAY W ITH I T
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces
Killing S Spaces

More Related Content

More from andrejko

Decidability
DecidabilityDecidability
Decidabilityandrejko
 
Completeness
CompletenessCompleteness
Completenessandrejko
 
Compactness
CompactnessCompactness
Compactnessandrejko
 
Ordinal Cardinals
Ordinal CardinalsOrdinal Cardinals
Ordinal Cardinalsandrejko
 
L Space In ZFC
L Space In ZFCL Space In ZFC
L Space In ZFCandrejko
 

More from andrejko (6)

Decidability
DecidabilityDecidability
Decidability
 
Completeness
CompletenessCompleteness
Completeness
 
Compactness
CompactnessCompactness
Compactness
 
ZF
ZFZF
ZF
 
Ordinal Cardinals
Ordinal CardinalsOrdinal Cardinals
Ordinal Cardinals
 
L Space In ZFC
L Space In ZFCL Space In ZFC
L Space In ZFC
 

Recently uploaded

Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024Scott Keck-Warren
 
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks..."LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...Fwdays
 
Nell’iperspazio con Rocket: il Framework Web di Rust!
Nell’iperspazio con Rocket: il Framework Web di Rust!Nell’iperspazio con Rocket: il Framework Web di Rust!
Nell’iperspazio con Rocket: il Framework Web di Rust!Commit University
 
Search Engine Optimization SEO PDF for 2024.pdf
Search Engine Optimization SEO PDF for 2024.pdfSearch Engine Optimization SEO PDF for 2024.pdf
Search Engine Optimization SEO PDF for 2024.pdfRankYa
 
Artificial intelligence in cctv survelliance.pptx
Artificial intelligence in cctv survelliance.pptxArtificial intelligence in cctv survelliance.pptx
Artificial intelligence in cctv survelliance.pptxhariprasad279825
 
The Future of Software Development - Devin AI Innovative Approach.pdf
The Future of Software Development - Devin AI Innovative Approach.pdfThe Future of Software Development - Devin AI Innovative Approach.pdf
The Future of Software Development - Devin AI Innovative Approach.pdfSeasiaInfotech2
 
DevEX - reference for building teams, processes, and platforms
DevEX - reference for building teams, processes, and platformsDevEX - reference for building teams, processes, and platforms
DevEX - reference for building teams, processes, and platformsSergiu Bodiu
 
Powerpoint exploring the locations used in television show Time Clash
Powerpoint exploring the locations used in television show Time ClashPowerpoint exploring the locations used in television show Time Clash
Powerpoint exploring the locations used in television show Time Clashcharlottematthew16
 
Scanning the Internet for External Cloud Exposures via SSL Certs
Scanning the Internet for External Cloud Exposures via SSL CertsScanning the Internet for External Cloud Exposures via SSL Certs
Scanning the Internet for External Cloud Exposures via SSL CertsRizwan Syed
 
Training state-of-the-art general text embedding
Training state-of-the-art general text embeddingTraining state-of-the-art general text embedding
Training state-of-the-art general text embeddingZilliz
 
Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage Cost
Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage CostLeverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage Cost
Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage CostZilliz
 
DevoxxFR 2024 Reproducible Builds with Apache Maven
DevoxxFR 2024 Reproducible Builds with Apache MavenDevoxxFR 2024 Reproducible Builds with Apache Maven
DevoxxFR 2024 Reproducible Builds with Apache MavenHervé Boutemy
 
"Debugging python applications inside k8s environment", Andrii Soldatenko
"Debugging python applications inside k8s environment", Andrii Soldatenko"Debugging python applications inside k8s environment", Andrii Soldatenko
"Debugging python applications inside k8s environment", Andrii SoldatenkoFwdays
 
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)Wonjun Hwang
 
"Subclassing and Composition – A Pythonic Tour of Trade-Offs", Hynek Schlawack
"Subclassing and Composition – A Pythonic Tour of Trade-Offs", Hynek Schlawack"Subclassing and Composition – A Pythonic Tour of Trade-Offs", Hynek Schlawack
"Subclassing and Composition – A Pythonic Tour of Trade-Offs", Hynek SchlawackFwdays
 
Anypoint Exchange: It’s Not Just a Repo!
Anypoint Exchange: It’s Not Just a Repo!Anypoint Exchange: It’s Not Just a Repo!
Anypoint Exchange: It’s Not Just a Repo!Manik S Magar
 
"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr Bagan"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr BaganFwdays
 
My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024The Digital Insurer
 

Recently uploaded (20)

Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024
 
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks..."LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
 
Nell’iperspazio con Rocket: il Framework Web di Rust!
Nell’iperspazio con Rocket: il Framework Web di Rust!Nell’iperspazio con Rocket: il Framework Web di Rust!
Nell’iperspazio con Rocket: il Framework Web di Rust!
 
DMCC Future of Trade Web3 - Special Edition
DMCC Future of Trade Web3 - Special EditionDMCC Future of Trade Web3 - Special Edition
DMCC Future of Trade Web3 - Special Edition
 
E-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptx
E-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptxE-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptx
E-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptx
 
Search Engine Optimization SEO PDF for 2024.pdf
Search Engine Optimization SEO PDF for 2024.pdfSearch Engine Optimization SEO PDF for 2024.pdf
Search Engine Optimization SEO PDF for 2024.pdf
 
Artificial intelligence in cctv survelliance.pptx
Artificial intelligence in cctv survelliance.pptxArtificial intelligence in cctv survelliance.pptx
Artificial intelligence in cctv survelliance.pptx
 
The Future of Software Development - Devin AI Innovative Approach.pdf
The Future of Software Development - Devin AI Innovative Approach.pdfThe Future of Software Development - Devin AI Innovative Approach.pdf
The Future of Software Development - Devin AI Innovative Approach.pdf
 
DevEX - reference for building teams, processes, and platforms
DevEX - reference for building teams, processes, and platformsDevEX - reference for building teams, processes, and platforms
DevEX - reference for building teams, processes, and platforms
 
Powerpoint exploring the locations used in television show Time Clash
Powerpoint exploring the locations used in television show Time ClashPowerpoint exploring the locations used in television show Time Clash
Powerpoint exploring the locations used in television show Time Clash
 
Scanning the Internet for External Cloud Exposures via SSL Certs
Scanning the Internet for External Cloud Exposures via SSL CertsScanning the Internet for External Cloud Exposures via SSL Certs
Scanning the Internet for External Cloud Exposures via SSL Certs
 
Training state-of-the-art general text embedding
Training state-of-the-art general text embeddingTraining state-of-the-art general text embedding
Training state-of-the-art general text embedding
 
Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage Cost
Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage CostLeverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage Cost
Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage Cost
 
DevoxxFR 2024 Reproducible Builds with Apache Maven
DevoxxFR 2024 Reproducible Builds with Apache MavenDevoxxFR 2024 Reproducible Builds with Apache Maven
DevoxxFR 2024 Reproducible Builds with Apache Maven
 
"Debugging python applications inside k8s environment", Andrii Soldatenko
"Debugging python applications inside k8s environment", Andrii Soldatenko"Debugging python applications inside k8s environment", Andrii Soldatenko
"Debugging python applications inside k8s environment", Andrii Soldatenko
 
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
 
"Subclassing and Composition – A Pythonic Tour of Trade-Offs", Hynek Schlawack
"Subclassing and Composition – A Pythonic Tour of Trade-Offs", Hynek Schlawack"Subclassing and Composition – A Pythonic Tour of Trade-Offs", Hynek Schlawack
"Subclassing and Composition – A Pythonic Tour of Trade-Offs", Hynek Schlawack
 
Anypoint Exchange: It’s Not Just a Repo!
Anypoint Exchange: It’s Not Just a Repo!Anypoint Exchange: It’s Not Just a Repo!
Anypoint Exchange: It’s Not Just a Repo!
 
"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr Bagan"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr Bagan
 
My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024
 

Killing S Spaces

  • 1. S EPARABLE S PACES K ILLING K ILLING S-S PACES AND G ETTING AWAY W ITH I T W EAKENINGS OF ♦ AND STRONG SEPARABILITY Erik A. Andrejko University of Wisconsin - Madison Mar 25 2008 E RIK A. A NDREJKO K ILLING S-S PACES AND G ETTING AWAY W ITH I T
  • 2. S EPARABLE S PACES K ILLING S PACES D EFINITION A space X is called separable if it contains a countable dense subset. D EFINITION A space X is called right separated if it contains an uncountable subspace {xξ : ξ ω1 } in which for each η ω1 {xξ : ξ η} is open E RIK A. A NDREJKO K ILLING S-S PACES AND G ETTING AWAY W ITH I T