Difference between revisions of "Functions:Forward Image"

From Department of Mathematics at UTSA
Jump to navigation Jump to search
(Replaced content with "In mathematics, the image of a function is the set of all output values it may produce. More generally, evaluating a given function <math>f</math> at each element of a gi...")
Tag: Replaced
Line 1: Line 1:
 
In mathematics, the image of a function is the set of all output values it may produce.
 
In mathematics, the image of a function is the set of all output values it may produce.
  
More generally, evaluating a given function <math>f</math> at each element of a given subset {\displaystyle A}A of its domain produces a set, called the "image of {\displaystyle A}A under (or through) {\displaystyle f}f". Similarly, the inverse image (or preimage) of a given subset {\displaystyle B}B of the codomain of {\displaystyle f,}f, is the set of all elements of the domain that map to the members of {\displaystyle B.}B.
+
More generally, evaluating a given function <math>f</math> at each element of a given subset <math>A</math> of its domain produces a set, called the "image of <math>A</math> under (or through) <math>f</math>". Similarly, the inverse image (or preimage) of a given subset <math>B</math> of the codomain of <math>f</math>, is the set of all elements of the domain that map to the members of <math>B</math>.
  
 
Image and inverse image may also be defined for general binary relations, not just functions.
 
Image and inverse image may also be defined for general binary relations, not just functions.

Revision as of 09:21, 12 October 2021

In mathematics, the image of a function is the set of all output values it may produce.

More generally, evaluating a given function at each element of a given subset of its domain produces a set, called the "image of under (or through) ". Similarly, the inverse image (or preimage) of a given subset of the codomain of , is the set of all elements of the domain that map to the members of .

Image and inverse image may also be defined for general binary relations, not just functions.