A Name for a subset of real space being nowhere a manifold with boundary

AI Thread Summary
The discussion focuses on identifying a name for a subset S of real space that is not a manifold with boundary. The key characteristic of such a set is that around every point in S, there is no open subset of real space that is homeomorphic to either Euclidean space or a half-space. The idea of the complement of a dense set is proposed as a potential answer, although it is noted that not all complements of dense sets meet the criteria. The necessity of the half-space condition is debated, with a conclusion that it can be omitted without altering the essence of the question. The conversation emphasizes the complexity of defining this subset while exploring examples like the graph of a nowhere continuous function.
disregardthat
Science Advisor
Messages
1,864
Reaction score
34
I was wondering if anyone knew of a name for such a set, namely a subset S \subseteq \mathbb{R}^n which at every point x \in S there exists no open subset U of \mathbb{R}^n containing x such that S \cap U is homeomorphic to either \mathbb{R}^m or the half-space \mathbb{H}^m = \{(y_1,...,y_m) \in \mathbb{R}^m : y_m \geq 0\} for any integer m \geq 0. Of course, any set for which such open sets U exists for every x is called an embedded manifold with boundary. I'm looking for the opposite notion, in a sense.
 
Last edited:
Mathematics news on Phys.org
The complement of a dense set?
 
I've corrected my question a bit, it now more accurately reflects the title. The complement of a dense set for the original question (where m had the fixed value n) could very well be the correct answer. I can't prove it right now, but I'll look into it. For general m however, it's not the right notion. For example, I'd like the graph of a nowhere continuous function to fit the bill, but not the graph of a continuous function.

EDIT: Upon some further reflection it dawns on me that the half-space condition is unecessary. If a space is isomorphic to the half-space locally around any point, then it is necessarily isomorphic to euclidean space at a nearby point. Hence the half-space condition can be dropped entirely without changing the question.
 
Last edited:
I missed the ##m \neq n## idea, sorry.
 
Office_Shredder said:
I missed the ##m \neq n## idea, sorry.

It was my fault, I didn't include it in the original formulation :smile:
 
It still needs to be the complement of a dense set I think, but not every complement works (because {0} is the complement of a dense set for example).
 
Thread 'Video on imaginary numbers and some queries'
Hi, I was watching the following video. I found some points confusing. Could you please help me to understand the gaps? Thanks, in advance! Question 1: Around 4:22, the video says the following. So for those mathematicians, negative numbers didn't exist. You could subtract, that is find the difference between two positive quantities, but you couldn't have a negative answer or negative coefficients. Mathematicians were so averse to negative numbers that there was no single quadratic...
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Thread 'Unit Circle Double Angle Derivations'
Here I made a terrible mistake of assuming this to be an equilateral triangle and set 2sinx=1 => x=pi/6. Although this did derive the double angle formulas it also led into a terrible mess trying to find all the combinations of sides. I must have been tired and just assumed 6x=180 and 2sinx=1. By that time, I was so mindset that I nearly scolded a person for even saying 90-x. I wonder if this is a case of biased observation that seeks to dis credit me like Jesus of Nazareth since in reality...

Similar threads

Replies
3
Views
2K
Replies
11
Views
537
Replies
4
Views
857
Replies
20
Views
3K
Replies
12
Views
2K
Replies
5
Views
2K
Replies
4
Views
2K
Back
Top