00:01
In this example, we have a linear transformation f, and our goal is to show that if s is an affine set coming from the domain rn, that the image is f of s is also affine in the code domain rm.
00:15
For proof like this, because we're trying to show f of s is affine, we're going to start by saying let.
00:21
Let's choose vectors a and b, be in the set, f of s.
00:32
Well, f of s is a set of images, so this implies then there exists.
00:42
Two other vectors, let's call them x and y, and these come from the domain, or excuse me, the set s from the domain rn, such that if we evaluate f at, say, x, we get the first image, which is a, and likewise evaluate f at y, then.
01:08
Then we'll get the second image, which is b.
01:12
Now we have an important fact that we must use here.
01:15
S is affine.
01:17
So let's go down to the definition of what it means for s to be affine...