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

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).
 
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...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
Thread 'Imaginary Pythagorus'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...

Similar threads

Replies
3
Views
2K
Replies
4
Views
795
Replies
20
Views
3K
Replies
12
Views
2K
Replies
5
Views
2K
Replies
4
Views
2K
Back
Top