Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2508.11635 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918125818085376 |
|---|---|
| author | Ding, Shun Wan, Yang Wang, Luofei Xiao, Siqi |
| author_facet | Ding, Shun Wan, Yang Wang, Luofei Xiao, Siqi |
| contents | We prove that Tietze Extension does not always exist in constructive mathematics if closed sets on which the function we are extending are defined as sequentially closed sets. Firstly, we take a discrete metric space as our topological space. Now all sets open and sequentially closed. Then, we form an unextendible algorithmic function transforming positive integers to 0 and 1, looking at the preimages of these values as our sequentially closed sets. Then we show that if the Tietze theorem conclusion holds for these closed sets then the unextendible function is extendible thus giving us a contradiction. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_11635 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Tietze extension does not always work in constructive mathematics if closed sets are defined as sequentially closed sets Ding, Shun Wan, Yang Wang, Luofei Xiao, Siqi General Topology Primary: 03F60, Secondary: 54F65 We prove that Tietze Extension does not always exist in constructive mathematics if closed sets on which the function we are extending are defined as sequentially closed sets. Firstly, we take a discrete metric space as our topological space. Now all sets open and sequentially closed. Then, we form an unextendible algorithmic function transforming positive integers to 0 and 1, looking at the preimages of these values as our sequentially closed sets. Then we show that if the Tietze theorem conclusion holds for these closed sets then the unextendible function is extendible thus giving us a contradiction. |
| title | Tietze extension does not always work in constructive mathematics if closed sets are defined as sequentially closed sets |
| topic | General Topology Primary: 03F60, Secondary: 54F65 |
| url | https://arxiv.org/abs/2508.11635 |