The Preimage of Elements, Sets, and Functions

Date: October 28 2022

Summary: How the preimage appears in elements, sets, and functions

Keywords: #archive #sets #preimage #elements #functions

Bibliography

Not Available

Table of Contents

Reading Motivation

As I have learned and understood what images are, I am now on my quest to learn what preimages so that I can understand the concept of bundles!

Basics on the Preimage of a Subset

Given some function $f : A \rightarrow B$ and the subsets $C \subseteq A$ and $D \subseteq B$, then the preimage (or inverse image of a set) is:

Which has the interesting property that the image of each element in $D$ is in $C$.

For some reason, admittedly, this was more challenging for me to understand than the image of a subset. Why that is, I do not know; maybe my brain has a bit of a challenge thinking in reverse? Personally, I find imagining the notation of the definition more easily followed when it is written like this:

Notice the subtle notation change I introduced where I said $=$ instead of $\in$ which, although interchangeable here, reads more clearly in my mind. Essentially, you say the condition for this set to be any element, $x$, that satisfies the equation, $f(x) = D$. To me, my brain translates that condition into a fun challenge rather than an abstract $\in D$ which reads less concretely.

Example

Let $X = \R$, $Y = \R$, $V = \{1, 4, 9, 16, 25\}$ which we know the fact that $V \subseteq Y$, and $f : x \rightarrow x^{2}$.

Using the definition:

We can create a few equations that can help us generating the set:

And solving these equations gives the following solutions:

And we can write our solution to the inverse image of the set $V$ being the following:

How To Cite

Zelko, Jacob. The Preimage of Elements, Sets, and Functions. https://jacobzelko.com/10282022132046-preimage-of-sets. October 28 2022.

References:

Discussion: