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

Click For 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).
 
Here is a little puzzle from the book 100 Geometric Games by Pierre Berloquin. The side of a small square is one meter long and the side of a larger square one and a half meters long. One vertex of the large square is at the center of the small square. The side of the large square cuts two sides of the small square into one- third parts and two-thirds parts. What is the area where the squares overlap?

Similar threads

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