Images and Pre-images in Functions

The video tutorial explains a theorem about the behavior of images and pre-images in function composition. It begins with definitions of images, pre-images, and function composition, followed by the theorem statement. The theorem asserts that the image of a set under a composite function is equal to the image under the composition of functions, and similarly for pre-images. The video provides detailed proofs for both parts of the theorem, demonstrating set equality through subset proofs.

What is the main focus of the theorem discussed in the video?

• Graphical representation of functions

• Inverse functions and their applications

• Behavior of images and pre-images in function composition

• Properties of linear functions

In the context of functions, what is an image?

• A subset of the domain

• A graphical representation of a function

• A set of all y in the codomain such that f(x) = y for some x in the domain

• The inverse of a function

What does the notation f^(-1)(T) represent?

• The pre-image of T under f

• The inverse function of f

• The image of T under f

• The composition of f and T

What is function composition?

• The combination of two functions where the output of one function becomes the input of another

• The process of finding the inverse of a function

• The graphical representation of a function

• The process of differentiating a function

What is the first statement of the theorem regarding images?

• The pre-image under f of g(t) is equal to the pre-image of t under g composed with f

• The composition of two functions is always invertible

• The image under g of f(s) is equal to the image of s under g composed with f

• The image of s is always equal to the pre-image of t

What is the second statement of the theorem regarding pre-images?

• The image under g of f(s) is equal to the image of s under g composed with f

• The pre-image of t is always equal to the image of s

• The pre-image under f of the pre-image under g of t is equal to the pre-image of t under g composed with f

• The composition of two functions is always invertible

What is the first step in proving the image equality part of the theorem?

• Graphically representing the function composition

• Proving that g of f(s) is a subset of the image of s under g composed with f

• Proving that the pre-image under f of g(t) is a subset of the pre-image of t under g composed with f

• Finding the inverse of the function composition

What is the first step in proving the pre-image equality part of the theorem?

• Proving that the pre-image under f of the pre-image under g of t is a subset of the pre-image of t under g composed with f

• Proving that g of f(s) is a subset of the image of s under g composed with f

• Finding the inverse of the function composition

• Graphically representing the function composition