|
276 | 276 | "source": [ |
277 | 277 | "### Invertibility\n", |
278 | 278 | "\n", |
279 | | - "When applying a given linear transformations, we often consider if it is possible to *reverse the transformation*. That is, we would like to know if it is possible to map all the vectors in the output space back to vectors in the input space such that images get sent back to their preimages. If this is possible we say that the transformation is invertible. More formally, a linear transformation $L:\\mathbb{V}\\to\\mathbb{W}$ is said to be **invertible** if there exists another transformation $L^{-1}:\\mathbb{W}\\to\\mathbb{V}$, known as the inverse, such that $(L^{-1}\\circ L)(X) = X$ for any vector $X$ in $\\mathbb{V}$. \n", |
| 279 | + "When applying a given linear transformation, we often consider if it is possible to *reverse the transformation*. That is, we would like to know if it is possible to map all the vectors in the output space back to vectors in the input space such that images get sent back to their preimages. If this is possible we say that the transformation is invertible. More formally, a linear transformation $L:\\mathbb{V}\\to\\mathbb{W}$ is said to be **invertible** if there exists another transformation $L^{-1}:\\mathbb{W}\\to\\mathbb{V}$, known as the inverse, such that $(L^{-1}\\circ L)(X) = X$ for any vector $X$ in $\\mathbb{V}$. \n", |
280 | 280 | "\n", |
281 | 281 | "The transformation $L$ in **Example 2** is invertible since the matrix $A$ is invertible. If $X$ is any vector in $\\mathbb{R}^3$ and $Y=AX$ is the image vector of $X$, it is possible to find $X$ given $Y$ by using $X=A^{-1}Y$. " |
282 | 282 | ] |
|
424 | 424 | "source": [ |
425 | 425 | "## Code solution here." |
426 | 426 | ] |
| 427 | + }, |
| 428 | + { |
| 429 | + "cell_type": "markdown", |
| 430 | + "metadata": {}, |
| 431 | + "source": [ |
| 432 | + "**Exercise 5:** Create a Python function which implements the transformation: $S:\\mathbb{R}^3\\to\\mathbb{R}^3$, given below. Use the function to provide evidence whether the transformation is **linear** or not.\n", |
| 433 | + "\n", |
| 434 | + "\n", |
| 435 | + "$$\n", |
| 436 | + "\\begin{equation}\n", |
| 437 | + "S \\left(\\left[\\begin{array}{r} v_1 \\\\ v_2 \\\\ v_3 \\end{array} \\right]\\right) = \n", |
| 438 | + "\\left[\\begin{array}{c} v_1 + v_2 \\\\ 1 \\\\ v_3+v_1 \\end{array} \\right]\n", |
| 439 | + "\\end{equation}\n", |
| 440 | + "$$\n", |
| 441 | + "\n", |
| 442 | + "Repeat for the transformation $T:\\mathbb{R}^3\\to\\mathbb{R}^3$ is now defined by\n", |
| 443 | + "\n", |
| 444 | + "$$\n", |
| 445 | + "\\begin{equation}\n", |
| 446 | + "T \\left(\\left[\\begin{array}{r} v_1 \\\\ v_2 \\\\ v_3 \\end{array} \\right]\\right) = \n", |
| 447 | + "\\left[\\begin{array}{c} v_1 + v_2 \\\\ 0 \\\\ v_3+v_1 \\end{array} \\right].\n", |
| 448 | + "\\end{equation}\n", |
| 449 | + "$$" |
| 450 | + ] |
| 451 | + }, |
| 452 | + { |
| 453 | + "cell_type": "code", |
| 454 | + "execution_count": 10, |
| 455 | + "metadata": {}, |
| 456 | + "outputs": [], |
| 457 | + "source": [ |
| 458 | + "## Code solution here" |
| 459 | + ] |
| 460 | + }, |
| 461 | + { |
| 462 | + "cell_type": "markdown", |
| 463 | + "metadata": {}, |
| 464 | + "source": [ |
| 465 | + "**Exercise 6:** $L:\\mathbb{R}^3\\to\\mathbb{R}^2$ is a **Linear Transformation** . Find $L(kU+V)$ given that $k=7$, \n", |
| 466 | + "\n", |
| 467 | + "$$\n", |
| 468 | + "\\begin{equation}\n", |
| 469 | + "L(U) = \\left[\\begin{array}{r} 1 \\\\ 1 \\end{array} \\right]\\hspace{1cm}\n", |
| 470 | + "L(V) = \\left[\\begin{array}{r} 3 \\\\ 1 \\end{array} \\right]\n", |
| 471 | + "\\end{equation}\n", |
| 472 | + "$$" |
| 473 | + ] |
| 474 | + }, |
| 475 | + { |
| 476 | + "cell_type": "code", |
| 477 | + "execution_count": 11, |
| 478 | + "metadata": {}, |
| 479 | + "outputs": [], |
| 480 | + "source": [ |
| 481 | + "## Code solution here" |
| 482 | + ] |
| 483 | + }, |
| 484 | + { |
| 485 | + "cell_type": "markdown", |
| 486 | + "metadata": {}, |
| 487 | + "source": [ |
| 488 | + "**Exercise 7:** Let $T:\\mathbb{R}^3 \\to \\mathbb{R}^2$ be defined by $T(X)= AX$, where \n", |
| 489 | + "\n", |
| 490 | + "$$\n", |
| 491 | + "\\begin{equation}\n", |
| 492 | + "A = \\left[\\begin{array}{rrr} 1 & 0 & 2 \\\\ 2 & 1 & 1 \\end{array}\\right].\n", |
| 493 | + "\\end{equation}\n", |
| 494 | + "$$\n", |
| 495 | + "\n", |
| 496 | + "Find all vectors $X$ that satisfy $T(X) = \\left[\\begin{array}{r} 1 \\\\ 2 \\end{array} \\right]\n", |
| 497 | + "$. \n" |
| 498 | + ] |
| 499 | + }, |
| 500 | + { |
| 501 | + "cell_type": "code", |
| 502 | + "execution_count": 12, |
| 503 | + "metadata": {}, |
| 504 | + "outputs": [], |
| 505 | + "source": [ |
| 506 | + "## Code solution here" |
| 507 | + ] |
| 508 | + }, |
| 509 | + { |
| 510 | + "cell_type": "markdown", |
| 511 | + "metadata": {}, |
| 512 | + "source": [ |
| 513 | + "**Exercise 8:** Let $M:\\mathbb{P}_1 \\to \\mathbb{P}_3$ be a transformation defined by $M(p(x)) = x^3 + p(x)$. Determine whether $M$ is linear or not. " |
| 514 | + ] |
| 515 | + }, |
| 516 | + { |
| 517 | + "cell_type": "code", |
| 518 | + "execution_count": 13, |
| 519 | + "metadata": {}, |
| 520 | + "outputs": [], |
| 521 | + "source": [ |
| 522 | + "## Code solution here" |
| 523 | + ] |
| 524 | + }, |
| 525 | + { |
| 526 | + "cell_type": "markdown", |
| 527 | + "metadata": {}, |
| 528 | + "source": [ |
| 529 | + "**Exercise 9:** Let $S:\\mathbb{P}_2 \\to \\mathbb{P}_3$ and $T:\\mathbb{P}_3 \\to \\mathbb{P}_5$ be two **linear transformations** defined by the rules given below. Define the composition $T\\circ S$ and determine whether it is linear or not. Explain why $S\\circ T$ is not defined.\n", |
| 530 | + "\n", |
| 531 | + "$S(p(x)) = x(p(x))$ \n", |
| 532 | + "\n", |
| 533 | + "$T(q(x)) = x^2(q(x))$ \n", |
| 534 | + "\n", |
| 535 | + "where $p(x)$ is a polynomial in $\\mathbb{P}_2$ and $q(x)$ is a polynomial in $\\mathbb{P}_3$. " |
| 536 | + ] |
| 537 | + }, |
| 538 | + { |
| 539 | + "cell_type": "code", |
| 540 | + "execution_count": 14, |
| 541 | + "metadata": {}, |
| 542 | + "outputs": [], |
| 543 | + "source": [ |
| 544 | + "## Code solution here" |
| 545 | + ] |
427 | 546 | } |
428 | 547 | ], |
429 | 548 | "metadata": { |
|
0 commit comments