I have read the introductory sections of many books on Real Analysis and Topology, yet nowhere have I found an unbiased motivation for the notions of either topology or (topological) continuity.

The question then follows. If all we know is the notion of a metric on a set, and an open set in a metric space, then what is the motivation for developing the topological definition of continuity? That is, assuming no knowledge of the results that follow such a definition, assuming no notion of epsilon-delta definition, why would anyone say:

"Hmm. Maps for which the preimage of every open set is open are good maps! I shall define them as 'continuous'. Furthermore, I shall then focus on families of subsets that contain arbitrary unions and finite intersections of their members, as well as the null and the universe, and I shall call such families topologies. I shall treat them oh so specially because these sets are just like open sets in a metric space. Oh look, it leads ro some remarkable results!"

You may think this is a natural thing to invent because you are biased with all the knowledge about the results arising from such a notion. My deep curiosity is about plain, unspoiled intuition in a virgin world, and I hope you will help me by providing your pure motivation that is independent even from the elementary epsilon-delta concept.

Think about this: they say that "neighborhood" notion helps to generalize the notion of "closeness" between elements without any reliance on a distance. Yes, this makes a lot of sense. What I don't see is why we want these neighborhoods to bear the properties of open sets???

Added: My question have been closed. However, I would like to thank Qiaochu Yuan who was remarkably open and unbiased and directed us to a prior discussion on the exact topic of my question. (See link in comment section below.)

To all others who rushed to disqualify my question, I have just found the answer. There turned out to be, in fact, a motivation for defining a topology---a motivation that does not rely on any intuition powered by the experience with Euclidean Spaces. It relies only on the mental construct of generalized "closeness" between elements described by neighborhoods (subsets). It follows remarkably that to fully describe such "closeness", it suffices to look at those subsets that bear the properties of opens sets. Precisely the topology! A notion of continuity beautifully follows. What an insight. :) But oh well, the powerful ones of this forum feel that such an approach is unworthy. :)

Post Closed as "subjective and argumentative" by Robin Chapman, Harry Gindi, Charles Siegel, Harald Hanche-Olsen, Yemon Choi
1

# What is the pure intuition for topological continuity and topology?

I have read the introductory sections of many books on Real Analysis and Topology, yet nowhere have I found an unbiased motivation for the notions of either topology or (topological) continuity.

The question then follows. If all we know is the notion of a metric on a set, and an open set in a metric space, then what is the motivation for developing the topological definition of continuity? That is, assuming no knowledge of the results that follow such a definition, assuming no notion of epsilon-delta definition, why would anyone say:

"Hmm. Maps for which the preimage of every open set is open are good maps! I shall define them as 'continuous'. Furthermore, I shall then focus on families of subsets that contain arbitrary unions and finite intersections of their members, as well as the null and the universe, and I shall call such families topologies. I shall treat them oh so specially because these sets are just like open sets in a metric space. Oh look, it leads ro some remarkable results!"

You may think this is a natural thing to invent because you are biased with all the knowledge about the results arising from such a notion. My deep curiosity is about plain, unspoiled intuition in a virgin world, and I hope you will help me by providing your pure motivation that is independent even from the elementary epsilon-delta concept.

Think about this: they say that "neighborhood" notion helps to generalize the notion of "closeness" between elements without any reliance on a distance. Yes, this makes a lot of sense. What I don't see is why we want these neighborhoods to bear the properties of open sets???