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

Click For Summary
SUMMARY

The discussion centers on identifying a specific term for a subset S of real space \(\mathbb{R}^n\) that lacks the properties of an embedded manifold with boundary. The user seeks a name for sets where no open subset U exists such that S ∩ U is homeomorphic to \(\mathbb{R}^m\) or the half-space \(\mathbb{H}^m\). The conversation suggests that the complement of a dense set may be relevant, although not all complements qualify. The user also concludes that the half-space condition is unnecessary for the question at hand.

PREREQUISITES
  • Understanding of embedded manifolds with boundary
  • Familiarity with concepts of homeomorphism in topology
  • Knowledge of dense sets in real analysis
  • Basic grasp of Euclidean space properties
NEXT STEPS
  • Research the properties of complements of dense sets in topology
  • Explore the concept of nowhere continuous functions and their graphs
  • Study the implications of local homeomorphism in Euclidean spaces
  • Investigate the definitions and examples of manifolds in higher dimensions
USEFUL FOR

Mathematicians, topologists, and students studying advanced concepts in real analysis and manifold theory.

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:
Physics 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).
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
1K
  • · Replies 13 ·
Replies
13
Views
5K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 15 ·
Replies
15
Views
3K