In a text I am reading, the author defines two norms on a vector space $X$ to be equivalent if they induce the same topology on $X$. The text does not define what it means however for two topologies to be equivalent. The only definition I can think of that seems reasonable is that two topologies $T_1$ and $T_2$ are equivalent if an open set in $T_1$ is an open set in $T_2$ and conversely. Since open sets in a normed space are determined by the norm-relative open balls, this would mean that any open ball about a point $x$ with respect to one norm not only contains an open ball about $x$ with respect to the other norm but is also contained within an open ball relative to that other norm. Is this the right way to look at the situation? Is my definition of "equivalent toplogies" appropriate in this context?
Equivalent Topologies
-
8Your proposed definition of *equivalence* for topologies coincides with *equality*. – 2011-11-04
-
2To follow up on Mariano Suárez-Alvarez's comment, in contexts like this, equivalence is a relation on metrics (or on norms), not on topologies. Also, there are several types of such equivalences in texts and in the literature, with names that are sometimes not very informative or in agreement with other names in the literature. I posted an essay about three such notions, which I called "Lipschitz equivalent", "uniformly equivalent", and "topologically equivalent" about 5 years ago at http://groups.google.com/group/sci.math/msg/9e825cd2be094cd7 – 2011-11-04
-
0@MarianoSuárez-Alvarez So, basically my definition of "equality" is equivalent to, pun intended, to equality of sets. Which, if I had read my own definition a little more carefully I would have understood! – 2011-11-04
-
0@DaveL.Renfro Thanks for the reference; that's helpful – 2011-11-04
-
1Indeed, in your first sentence you didn't writ "equivalent topologies", you wrote "the same topology". This is literally what is meant. – 2011-11-04
-
1@DaveL.Renfro: I ran into the same issue in my question http://math.stackexchange.com/questions/5315/notions-of-equivalent-metrics – 2011-11-04
-
1@3Sphere: There is a similar discussion here: http://at.yorku.ca/cgi-bin/bbqa?forum=ask_a_topologist_2008;task=show_msg;msg=2219.0001 – 2011-11-04
-
0It's worth noting that since here we're working with normed vector spaces, if they're homeomorphic they'll automatically be uniformly homeomorphic; we don't need to distinguish those notions here. Of course we certainly do for more general metric spaces or uniform spaces... – 2011-11-06
3 Answers
Given two topologies $\tau,\tau'$ on a set $X$, we say $\tau$ is coarser (or weaker) than $\tau'$ iff $\tau\subset\tau'$. Accordingly we say $\tau'$ is finer (or stronger) than $\tau$.
Equivalently, this means $\tau$ has more (read:not less) opens, or equivalently $\tau$ has more (read:not less) neighborhoods, or equivalently the identity set map $(X,\tau)\to (X,\tau')$ is continuous, or equivalently for each subset the closure in $\tau$ is included in the closure in $\tau'$.
Thus the following are equivalent ways of saying that $\tau,\tau'$ are the same:
$\tau=\tau'$
each of $\tau$ and $\tau'$ is coarser/finer than the other
$\tau,\tau'$ have exactly the same opens
$\tau,\tau'$ have exactly the same neighborhoods
for each subset, its closures in $\tau$ and in $\tau'$ coincide.
the identity set map $(X,\tau)\to (X,\tau')$ is a homeomorphism.
-
0Do you happen to have any references for the second paragraph? I'm self-studying intro level topology and I want to see how those come about. – 2013-08-11
-
0@ShantDanielian: all these statements follow more or less directly from the definitions, so you could regard them as exercises. – 2013-08-12
-
0Ah, I see. Thanks, I'll try to work them out. – 2013-08-12
-
1I think if $\tau\subset\tau'$, then $\tau'$ has more opens. But in your second paragraph, you said $\tau$ has more opens. Also, if $\tau\subset\tau'$, then I think the identity map $(X,\tau')\to (X,\tau)$ is continuous. – 2018-02-21
-
0@wildildildlife: I think your second paragraph there is wrong (as mentioned by @user398843). Cheers! – 2018-03-18
-
0@asn32 It seems that the author doesn't use this account anymore. I just edited the answer. Changes will be posted after peer review. – 2018-03-18
Two norms are equivalent if they induce the same topology. So it does not matter whether the author of your book defines the notion of "equivalent topologies", since he does not need it (at least not here). I.e., you work here with equality of topologies. (Which is reflexive, symmetric and transitive, so you may call the same topologies equivalent, if you wish. However, the name "equivalent" would be redundant.)
You also asked whether this:
open set in $T_1$ is an open set in $T_2$ and conversely
is the same as equality of topologies. Indeed, it is. Every set open in $T_1$ being open in $T_2$ is inclusion $T_1\subseteq T_2$. The converse implication gives you the converse inclusion.
BTW I guess all of this was already said in comments.
Two topologies are called equivalent if any non-empty open set of the first topology contains a non-empty open set of the second topology and, conversely, every non-empty open set of the second topology contains non-empty open sets of the first topology.
This does NOT mean that the two topologies are the same. So give me my two vote down back! :)
In case of normed spaces, this condition can be written in a quite nice way: two norms $||\cdot||_1$ and $||\cdot||_2$ on $X$ are equivalent if and only if there are two positive numbers $C_1,C_2>0$ such that, for all $x\in X$,
$$ C_1||x||_1\leq||x||_2\leq C_2||x||_1 $$
you can verify by yourself that this condition is equivalent at the one between topological spaces just remembering what is a base of open sets of the topology induced by a norm.
-
4Re: first sentence. I never heard this notion of "equivalent" used for *topologies* (see also Dave's comment). Why introduce a new word for something that's already aptly described by "equality", as Mariano pointed out? – 2011-11-04
-
1I have never seen this definition of the equivalence of two topologies. In the case of topologies coming from norms on a vector space, two topologies are equivalent according to your definition if they are the same. For general topologies I find this definition rather odd. Do you have any source for this definition? – 2011-11-04
-
0@StefanGeschke: This "definition" of equivalence gives you that two topologies are equivalent when they are equal. That is what t.b. is pointing out. – 2011-11-05
-
0@Andre Caldas: Are you sure about this? In the general case, I mean. For topological vector spaces I agree. But for general topologies the natural notion of equivalence (which then turns out to be equivalent to equality) would be this: Two topologies are equivalent if for each point $x$ and open neighborhood $U$ of $x$ in the first topology there is an open set $O$ in the second topology such that $x\in O\subseteq U$ and vice versa. – 2011-11-07
-
1I had to think about this for some time, but here is an example: Consider two topologies on the real line. Let $\tau_0$ be the usual topology, generated by the open intervals. Let $\tau_1$ be the topology generated by the intervals of the form $(a,b]$, $a. Every nonempty set in $\tau_0$ contains a nonempty set in $\tau_1$ and vice versa, yet the two topologies are not the same. There is also the trivial problem that any two topologies on a space are equivalent in Valerio's sense since they both contain the empty set. But my example shows a deeper "problem" with the definition. – 2011-11-07
-
0@StefanGeschke: You are right. I did not pay much attention to Valerio's definition. Since he was talking about topological vector spaces, I **missread** his statement like this: "every open neighborhood of $0$ form topology 1 contains an open neighborhood of $0$ from topology 2 and vice-versa". This would imply that the topologies are the same. You are right, I had not noticed that he does not talk about the $0$ or neighborhoods of any given point. – 2011-11-07
-
0So, the end of the story is that I gave a right definition, but it has two vote down... :( – 2011-11-07
-
0@Valerio: Can you give a reference for this strange definition of equivalence? I've never seen it before. – 2011-11-07
-
0boh.. just remember from undergraduate school. – 2011-11-07
-
1@Valerio Are you sure it wasn't equivalence of [bases](http://www.google.com/#hl=en&q=topology+bases+equivalent&tbm=bks)? See e.g. this [book](http://books.google.com/books?id=lPkHohyOMogC&pg=PA18), this [book](http://books.google.com/books?id=AKghdMm5W-YC&pg=PA41) this [thread](http://at.yorku.ca/cgi-bin/bbqa?forum=ask_a_topologist_2008;task=show_msg;msg=2219.0001) – 2011-11-07