2

Let's assume I have a topological space $(X, \tau)$, where $X$ is a set and $\tau$ is a topology. Now I have $Y\subset X$, but $Y$ is not necessarily element of $\tau$. What do I call $X$ in my publication?

It is not the "topological space", because that would be $(X, \tau)$, right? How can I refer to $X$? "Y is a subset of a topology imbued set"? Sounds a bit weird and "Y is a subset of a set which is used to construct a topological space..." is not exactly elegant. The same issue would be the case for a metric space. Can I say "topological space set"?

https://en.wikipedia.org/wiki/Vector_space also makes a abusive of termonology, I guess, when saying that

A vector space ... is a collection of objects called vectors, which ...

Make42
  • 1,085
  • 1
    $X$ is the underlying set of the topological space $(X,\tau)$. Nevertheless, I doubt anybody would frown upon someone "abusively" speaking of a subset of a topological space/group/vector space etc – Hagen von Eitzen Jun 04 '20 at 15:58
  • 2
    How about something like, "$Y$ is a subset of $X$, the underlying set of the topological space $(X,\tau)$"? – Neal Jun 04 '20 at 15:59
  • @Neal: In my sentence I do not want to use symbols yet, because it is an introductory sentence and I want to introduce the symbols in my formal definition. – Make42 Jun 04 '20 at 16:00

2 Answers2

4

You can say that $Y$ is a subset of the underlying set of the topological space $(X, \tau)$. Usually, when a set $X$ is endowed with some "structure", you can address the set itself by calling it the underlying set. What you are doing is "forgetting" the structure and considering just the set of elements. This works for topological spaces, as well as for groups and in general whenever you have a set with operations defined between its elements.

Maryam
  • 1,889
  • Or one might want to momentarily forget the geometry on a Riemannian manifold and address only the underlying smooth manifold or topological space... – Neal Jun 04 '20 at 16:00
  • But there exists no name for it? " underlying set of a topological space" is kind of long... – Make42 Jun 04 '20 at 21:32
  • There is a not-long way to do this. It is what mathematical writers do all the time: they abuse the terminology and the notation and say things like "Let $Y$ be a subset of the topological space $X$", and no-one ever gets confused. – Lee Mosher Jun 05 '20 at 01:15
1

Well, it depends on the context in which you are relating $X$ and $Y$.

Usually, in the definition of a topology on a set $X$, the pair $(X, \tau)$ is formally called a topological space. However, if there is no confusion (since a set can be given more than one topology) you can "abuse" a little the language and refer to $X$ as a topological space.

If you want to remark both that $Y \subset X$ and that $(X, \tau)$ is a topological space, then I totally agree with the comment @Neal made above.

matumath
  • 168