5
$\begingroup$

I am reading a topology definition:

Let $X$ be a set and let $\tau$ be a family of subsets of $X$. Then $\tau$ is called a topology on $X$ if:

  • Both the empty set and $X$ are elements of $\tau$
  • Any union of elements of $\tau$ is an element of $\tau$
  • Any intersection of finitely many elements of $\tau$ is an element of $\tau$

If $\tau$ is a topology on $X$, then the pair $(X, \tau)$ is called a topological space. The notation $X_\tau$ may be used to denote a set $X$ endowed with the particular topology $\tau$. The members of $\tau$ are called open sets in $X$.

My question is:

Are the members of $\tau$ open sets or only called open sets?

  • 4
    At the risk of sounding silly, what's the difference between being an open set, and merely being called one?2012-08-23

2 Answers 2

8

This definition abstracts the idea of an open set in a metric space, so in a sense the members of $\tau$ are only called open sets - they aren't open in the sense that they contain a ball around every point, because there isn't any distance to say what that means. (Of course, as other people have pointed out, once you decide to call them open sets, the distinction between being called open and actually being open is somewhat unclear).

The reason this definition is chosen is that the collection of open sets in a metric space (defined in the usual metric spaces way) forms a topology in this sense. So in that case the sets in $\tau$ are open both because they are in $\tau$ and because they are open in the metric sense.

  • 0
    I've reworded to try to make this a little clearer in the answer.2012-08-23
9

We call these barking, furry animals dogs. But are they really dogs or are they just called this way? Actually, since my native language is German, I would propose that they are not really dogs. They are really Hunde, it's just that they are called dogs in English.

This kind of reasoning doesn't become less absurd when being applied to mathematics. Actually, in mathematics you basically define things by calling certain things a certain way. Mathemticians are firmly on the side of Humpty Dumpty:

"I don't know what you mean by 'glory,' " Alice said. Humpty Dumpty smiled contemptuously. "Of course you don't—till I tell you. I meant 'there's a nice knock-down argument for you!' " "But 'glory' doesn't mean 'a nice knock-down argument'," Alice objected. "When I use a word," Humpty Dumpty said, in rather a scornful tone, "it means just what I choose it to mean—neither more nor less." -- Lewis Carroll, Through the Looking-Glass

So we are actually not lying when we call an open set open.