Revision 97dd7758cd0db5bf2c30e754c644dfd2abfbba46 (click the page title to view the current version)

Pre- and co-image

Changes from 97dd7758cd0db5bf2c30e754c644dfd2abfbba46 to 3270215e96c4ea40e5fc1f5ab7485dfd74e25eef

---
title: Pre- and co-image
categories: lecture
---

# Lecture Notes

## Image and Image Plane

+ Image Plane is the universe where the image lives

$$ \text{image}\subset\text{image plane} $$

+ The Image Plane is a 2D World
+ The Image Plane exists in a 3D World

## Pre-image

+ Preimage is the set of points in 3D projecting onto the Image Plane
+ What is projection?
    + draw a line through the 3D point and origo (the pinhole)
    + the projection is the intersection with the image plane.
+ Thus
    + $\text{preimage} = \mathsf{span}(\text{image})$
    + $\text{image} = \text{preimage}\cap\text{image plane}$
+ The **span** of a set of points is the smallest linear subspace
  containing all the points

## Points and Lines

| Image object | Pre-Image | 
| :- | :- | 
| Point (dimension 0) | Line through origo (dimension 1) | 
| Line (dimension 1) | Plane through origo (dimension 2) | 

+ Preimage is a linear subspaces, i.e. includes origo
+ A single point projects onto a point
    + any other point on the same line through origo projects onto the same
      point
+ A line projects onto a line if it does not pass through origo

## Co-image

+ Coimage is the set of points (space) orthogonal on the preimage

$$\text{coimage} = \text{preimage}^\bot$$

$$\text{preimage} = \text{coimage}^\bot$$

## Points and Lines

| Image object | Pre-Image | Co-Image |
| :- | :- | :- |
| Point (dimension 0) | Line through origo (dimension 1) | Plane (co-dimension 1) |
| Line (dimension 1) | Plane through origo (dimension 2) | Line (co-dimension 2) |

+ Preimage and coimage are linear subspaces
    + origo is in both the pre- and co-image

# Notation

+ Recall $\hat u$ is a skew-symmetric matrix associated with $u$
+ $ \mathop\mathsf{span}(\hat u) = u^\bot $
+ $\mathsf{span}(\hat u) = u^\bot$
+ Associate an image point $x$ with either its pre-image or co-image

# Systems of Equations and Orthogonal Vectors

+ $\ell^Tx=0$ is an equation in three unknowns
    + This defines a plane (two unknowns)
    + e.g. $x_1+ax_2+bx_3$
+ If you have two points, say, $\ell^TL=0$, you have two equations
    + This defines a line (one unknowns)
    + e.g. $x_1+ax_2$
+ If you have two points $x_1$ and $x_2$ on a line 
    + $x_1\times x_2$ is orthogonal on both of them
    + and on any other point on the line