Continuity Pre image of Closed Set is Closed

2. Why formulate continuity in terms of pre-images instead of image?

Why formulate continuity in terms of pre-images instead of image?

Solution 1

It's not nice to formulate it in terms of images. The behavior of images varies wildly between various continuous functions. Take the interval $(-10,10)$ and the functions $f_1(x) = x$ and $f_2(x) = \sin x$. Then the image of $(-10,10)$ under $f_1$ is of course $(-10,10)$, but the image of $(-10,10)$ under $f_2$ is $[-1,1]$. With one function you get an open set, with another you get a closed set. You can of course explore the other cases of half-open/half-closed or other phenomena. You can't make any meaningful statement about images of open sets. You can't even say anything for certain about local behavior (the images of "small" open sets) because there are plentiful locally constant functions.

You might want to flip this on its head then since images of open sets doesn't work: what about images of closed sets? This also doesn't work. Consider $\mathbb{R}$ and the function $f_3(x) = \arctan x$, then the image of $\mathbb{R}$ under $f_3$ is $\left(-\frac{\pi}{2},\frac{\pi}{2}\right)$ which is an open set.

The beauty of pre-images is that the functions we intuitively look at as being continuous have open sets as pre-images of open sets. Perhaps the closest you can get to a statement about images is that continuous functions map compact sets to compact sets, however there are discontinuous functions which also do this: consider $[-1,1]$ and $f_4(x) = 1$ if $x>0$, $f_4(0) = 0$ and $f_4(x) = -1$ if $x<0$. Then $f_4$ maps a compact set to a compact set but it is definitely not continuous in the usual topology.

Solution 2

Consider $f\colon A\to B$. Changes in the domain "control" what happens to the image, the value of $x\in A$ is "causal" for the value $f(x)\in B$. Therefore you may think that going from domain to image is the natural way to define continuity. However, continuity is about how well we can predict the image $f(x)$ if we slightly modify $x$; that is, if only we can keep $x$ "under control" well enough (i.e., keep changes, influences, error, or whatever sufficiently small) then we also keep $f(x)$ under control (i.e., keep its change or error as mall as necessary/desired). In this formulation it still sounds like something going from $A$ to $B$. But if we formulate that "desire" (for a metric space) as $|f(x)-f(x_0)|<\varepsilon$ and the control we impose on the domain side as $|x_0-x|<\delta$, then we arrive exactly at the epsilon-delta-definition: For any $\epsilon>0$ (as desired) there exists (i.e., we can control) $\delta>0$ such that $|x-x_0|<\delta$ implies $|f(x)-f(x_0)|<\varepsilon$. This is where the change of sides occurs: $\varepsilon$ is picked first and then depending on it we pick $\delta$.

So can we formulate this with images of open sets? No, because while the definition implies something about the image of an open ball, namely $f(B_\delta(x_0))\subseteq B_\varepsilon(f(x_0))$ (with $B$ denoting open ball), the problem is that $\epsilon$ is given before we pick our $\delta$. That is, we can not cast this into "For every open ball $B_\delta(x_0)$, the image $f(B_\delta(x_0))$ has some property". Rewriting the inclusion as $B_\delta(x_0)\subseteq f^{-1}(B_\varepsilon(x_0))$ we obtain the right formulation, i.e., the pre-image of an open ball (around a point $f(x_0)$ in the image) contains an open ball (around that point $x_0$); and in the generalization: The pre-image of an open set is open.

Solution 3

You can formulate continuity in terms of images. A function $f:X\to Y$ is continuous at a point $x$ if and only if for every neighborhood $U$ of $f(x)$ there exists a neighborhood $V$ of $x$ such that $f(V)\subseteq U$.

Solution 4

We do it because it works; we have an idea that some things should be continuous and other things not, and with this definition, they are or are not as desired!

Ultimately, that's what really matters: that the consequences of the definition match whatever notion we're trying to capture.

The definition doesn't have to be intuitive, be natural, or even bear a superficial resemblance to the notion we're trying to capture with the definition; it's good for pedagogy if it does have those qualities, but sometimes we have to settle for what we can get, and sometimes it's better to make the intuition match the definition rather than the other way around.

Although, a lot of times, the definition matches intuition much better than it first appears, and all you need to do is to better understand what the definition is saying. And IMO, most of the time when it doesn't, your intuition is actually about some other notion than the one the definition is meant to capture.

Solution 5

The metric space version makes some sense. In the metric space case, given any ball $B_1$ (perhaps very small) around $f (x)$, there is a ball $B_2$ around $y $ where $f (y) \in B_1$. Informally, you have some perhaps small amount of wiggle room in the domain, given any positive maximum amount of wiggle in the codomain. In this sense "small changes in the domain lead to small changes in the codomain".

It is not so easy to see that this is the right way to generalize, however.

Related videos on Youtube

02 : 16

What is the image and preimage of a function and how to write it

09 : 54

Start Learning Sets - Part 5 - Range, Image and Preimage

The Bright Side of Mathematics

10 : 09

Image Pre-processing Overview

05 : 31

Images and Preimages |Images | Preimages |Algebra @ mathematics portal

07 : 57

What is Image Preprocessing?

Comments

• I wanted to discuss my intuition of why we formulate the concept of continuity in terms of pre-image of open set is open instead of images for example if we consider $f(x) = c$ where $c$ is some constant, then that should be continuous, but if we formulated continuity in terms of images it won't be continuous. Is the reason we do it that way, because pre-images will always guarantee that function in the domain can only have $1$ value?

  • It basically comes from trying to remove the $\approx$ signs from $\forall x\forall^*y[y\approx x\implies f(y)\approx f(x)]$, the definition of continuity. (Where by $\forall^*y$ I mean "for all $y$ including infinitesimals.")

  • @columbus8myhw : It might be slightly more transparent if you write your implication in contraposition. Then it could be informalized as "images not in a little neighborhood implies preimages not in a little neighborhood".

  • Another way to determine continuity is to check for the following condition: $$ \forall A\in\mathscr{P}(X)\,\,\,,\,\,\,f(\text{Cl}(A))\subseteq \text{Cl}f(A) $$ That is to say, a function is continuous if and only if it does not seperate points from sets.

• I see this as still being the same as the usual definition of continuity, in all honesty.

• @CameronWilliams They are equivalent, of course. It would be ridiculous if they weren't! I am just showing that you can formulate the definition of continuity of a function in terms of images of sets.

• Fair enough. I guess my point was that it seemed to address the "images" part but not quite in the way OP meant. Though this is a very valid way of looking at it.

• Reason for downvote?

Recents

houstonwhines.blogspot.com

Source: https://9to5science.com/why-formulate-continuity-in-terms-of-pre-images-instead-of-image

Share this post