- Image (mathematics)
In

mathematics , the**image**of a**preimage**under a given function is the set of all possible function outputs when taking each element of the preimage, successively, as the function's argument.**Definition**If "f" : "X" → "Y" is a function from set "X" to set "Y" and "x" is a member of "X", then "f"("x"), the image of "x" under "f", is a unique member of "Y" that "f" associates with "x". The image under "f" of the entire domain "X" is often called the range of "f", and is a subset of the

codomain "Y".The image of a

subset "A" ⊆ "X" under "f" is the subset of "Y" defined by:"f"

[ "A"] = {"y" ∈ "Y" | "y" = "f"("x") for some "x" ∈ "A"}.When there is no risk of confusion, "f"

[ "A"] is simply written as "f"("A"). An alternative notation for "f"[ "A"] that is common in the older literaturemathematical logic and still preferred by some set theorists, is "f" "A".Given this definition, the image of "f" becomes a function whose domain is the

power set of "X" (the set of allsubset s of "X"), and whosecodomain is the power set of "Y". The same notation can denote either the function "f" or its image. This convention is a common one; the intended meaning must be inferred from the context.The preimage or inverse image of a set "B" ⊆ "Y" under "f" is the subset of "X" defined by

:"f"

^{ −1}[ "B"] = {"x" ∈ "X" | "f"("x") ∈ "B"}.The inverse image of a singleton, "f"

^{ −1}[ {"y"}] , is a fiber (also spelled fibre) or alevel set .Again, if there is no risk of confusion, we may denote "f"

^{ −1}[ "B"] by "f"^{ −1}("B"), and think of "f"^{ −1}as a function from the power set of "Y" to the power set of "X". The notation "f"^{ −1}should not be confused with that forinverse function . The two coincide only if "f" is abijection ."f" can also be seen as a family of sets indexed by "Y", which leads to the notion of a

fibred category .**Uniform arrow notations**The traditional notations used in the previous section can be confusing. An alternative [

*Blyth 2005, p. 5*] is to explicitly write the image and preimage as two functions in their own right: $f^\; ightarrow:mathcal\{P\}(X)\; ightarrowmathcal\{P\}(Y)$ with $f^\; ightarrow(A)\; =\; \{\; f(a);|;\; a\; in\; A\}$ and $f^leftarrow:mathcal\{P\}(Y)\; ightarrowmathcal\{P\}(X)$ with $f^leftarrow(B)\; =\; \{\; a\; in\; X\; ;|;\; f(a)\; in\; B\}$. If we consider thepowerset as aposet ordered by inclusion, then the image and preimage functions are monotone.**Examples**1. "f": {1,2,3} → {"a,b,c,d"} defined by $f(x)=left\{egin\{matrix\}\; a,\; mbox\{if\; \}x=1\; \backslash \; d,\; mbox\{if\; \}x=2\; \backslash \; c,\; mbox\{if\; \}x=3.\; end\{matrix\}\; ight.$

The "image" of {2,3} under "f" is "f"({2,3}) = {"d,c"}, and the "range" of "f" is {"a,d,c"}. The "preimage" of {"a,c"} is "f"

^{ −1}({"a,c"}) = {1,3}.2. "f":

**R**→**R**defined by "f"("x") = "x"^{2}.The "image" of {-2,3} under "f" is "f"({-2,3}) = {4,9}, and the "range" of "f" is

**R**. The "preimage" of {4,9} under "f" is "f"^{+}^{ −1}({4,9}) = {-3,-2,2,3}.3. "f":

**R**^{2}→**R**defined by "f"("x", "y") = "x"^{2}+ "y"^{2}.The "fibres" "f"

^{ −1}({"a"}) areconcentric circles about the origin, the origin, and theempty set , depending on whether "a">0, "a"=0, or "a"<0, respectively.4. If "M" is a

manifold and "π" :"TM"→"M" is the canonicalprojection from thetangent bundle "TM" to "M", then the "fibres" of "π" are thetangent spaces "T"_{"x"}("M") for "x"∈"M". This is also an example of afiber bundle .**Consequences**Given a function "f" : "X" → "Y", for all subsets "A", "A"

_{1}, and "A"_{2}of "X" and all subsets "B", "B"_{1}, and "B"_{2}of "Y" we have:*"f"("A"

_{1}∪ "A"_{2}) = "f"("A"_{1}) ∪ "f"("A"_{2})

*"f"("A"_{1}∩ "A"_{2}) ⊆ "f"("A"_{1}) ∩ "f"("A"_{2})

*"f"^{ −1}("B"_{1}∪ "B"_{2}) = "f"^{ −1}("B"_{1}) ∪ "f"^{ −1}("B"_{2})

*"f"^{ −1}("B"_{1}∩ "B"_{2}) = "f"^{ −1}("B"_{1}) ∩ "f"^{ −1}("B"_{2})

*"f"("f"^{ −1}("B")) ⊆ "B"

*"f"^{ −1}("f"("A")) ⊇ "A"

*"A"_{1}⊆ "A"_{2}→ "f"("A"_{1}) ⊆ "f"("A"_{2})

*"B"_{1}⊆ "B"_{2}→ "f"^{ −1}("B"_{1}) ⊆ "f"^{ −1}("B"_{2})

*"f"^{ −1}("B"^{C}) = ("f"^{ −1}("B"))^{C}

*("f" |_{"A"})^{−1}("B") = "A" ∩ "f"^{ −1}("B").The results relating images and preimages to the (Boolean) algebra of intersection and union work for any collection of subsets, not just for pairs of subsets:

*$fleft(igcup\_\{sin\; S\}A\_s\; ight)\; =\; igcup\_\{sin\; S\}\; f(A\_s)$

*$fleft(igcap\_\{sin\; S\}A\_s\; ight)\; subseteq\; igcap\_\{sin\; S\}\; f(A\_s)$

*$f^\{-1\}left(igcup\_\{sin\; S\}A\_s\; ight)\; =\; igcup\_\{sin\; S\}\; f^\{-1\}(A\_s)$

*$f^\{-1\}left(igcap\_\{sin\; S\}A\_s\; ight)\; =\; igcap\_\{sin\; S\}\; f^\{-1\}(A\_s)$(here "S" can be infinite, evenuncountably infinite .)With respect to the algebra of subsets, by the above we see that the inverse image function is a

lattice homomorphism while the image function is only asemilattice homomorphism (it does not always preserve intersections).**ee also***

range (mathematics)

*domain (mathematics)

*bijection, injection and surjection

*kernel of a function

*image (category theory)

*preimage attack (cryptography)**Notes****References***Citation |authorlink=Michael Artin | last= Artin | first= Michael | title= Algebra | edition=| year=1991 | publisher=Prentice Hall| isbn= 81-203-0871-9

* T.S. Blyth, "Lattices and Ordered Algebraic Structures", Springer, 2005, ISBN 1-85233-905-5.

*Wikimedia Foundation.
2010.*

### Look at other dictionaries:

**Image (disambiguation)**— For Wikipedia policy on images, see . Image or Images may refer to: * Image, an reproduction of the likeness of a subject **Real image, an image formed by rays of light passing through the image **Virtual image, an image formed by rays that do… … Wikipedia**Image (category theory)**— Given a category C and a morphism f:X ightarrow Y in C , the image of f is a monomorphism h:I ightarrow Y satisfying the following universal property: #There exists a morphism g:X ightarrow I such that f = hg . #For any object Z with a morphism k … Wikipedia**Mathematics and art**— have a long historical relationship. The ancient Egyptians and ancient Greeks knew about the golden ratio, regarded as an aesthetically pleasing ratio, and incorporated it into the design of monuments including the Great Pyramid,[1] the Parthenon … Wikipedia**Mathematics and Physical Sciences**— ▪ 2003 Introduction Mathematics Mathematics in 2002 was marked by two discoveries in number theory. The first may have practical implications; the second satisfied a 150 year old curiosity. Computer scientist Manindra Agrawal of the… … Universalium**mathematics**— /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium**mathematics, foundations of**— Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium**Mathematics of radio engineering**— A complex valued function. The mathematics of radio engineering is a pleasant and very useful subject. This article is an attempt to provide a reasonably comprehensive summary of this almost limitless topic. While the ideas have historically… … Wikipedia**mathematics, East Asian**— Introduction the discipline of mathematics as it developed in China and Japan. When speaking of mathematics in East Asia, it is necessary to take into account China, Japan, Korea, and Vietnam as a whole. At a very early time in their… … Universalium**Image functors for sheaves**— In mathematics, especially in sheaf theory, a domain applied in areas such as topology, logic and algebraic geometry, there are four image functors for sheaves which belong together in various senses.Given a continuous mapping f : X rarr; Y of… … Wikipedia**image**— noun 1》 a representation of the external form of a person or thing in art. ↘a visible impression obtained by a camera, telescope, or other device, or displayed on a video screen. ↘an optical appearance produced by light from an object… … English new terms dictionary