Continuous mappings in topology.

The inverse image of a set is the points in the domain of the function that are mapped into the set.

Often the definition of continuous is that the inverse image of open sets is open. So what definition are you starting with?

 

What's the definition of continuity in a topological space? The theorem you're trying to prove is usually given as the definition. Therefore there must be some other definition given in your book or class. What is it?

 

use this definition to deduce that inverse images of open sets is open. This is a good exercise.

Here is a suggestion. If the inverse image were not open then it would contain a point so that every open ball around it no matter how small its radius, would contain a point outside of the inverse image.

 

a function f:X-->Y takes each point of X to a single point of Y.

If we try to define an inverse of f, from Y to X, by sending each point of Y to the point of X that maps to it via f, we may not get a function because some points of Y may be the image of more than one point of X, and some may not be images of any points of X.

But we can always define an inverse of f from Y to subsets of X, by sending each point q of Y to the subset of all those points of X that map to q by f. This set may have more than one point or may have no points, but it does give a good definition of a map Y-->subsets of X.

The image of a point q of Y under this map is called the "inverse image" of q under f.

i.e. it is the image of q under the (set theoretic) inverse of f. Since it always exists for any f, and is the closest thing we have to an inverse function of f, it is very important.

oh yes, and it also exists as a map subsets of Y-->subsets of X, as in the current situation, sending any subset W of Y to the subset of all elements of X that map by f to any element of W.

 

well most book authors don't really think about what they are writing, but just repeat what they themselves memorized.