이 포스트에서 $V, W$는 모두 유한차원 $F$-벡터공간으로 취급한다.Ordered basisDefinition 1. An ordered basis for $V$ is a basis for $V$ endowed with a specific order.    기저에 순서를 부여한 것을 ordered basis, 순서기저라고 부른다. 즉 순서기저로 생각하면 $\{e_1, e_2, e_3\} \neq \{e_2, e_1, e_3\}$이다. Coordinate vectorDefinition 2. Let $\beta = \{v_1, ..., v_n\}$ be an ordered basis for V. We define the coordinate vector of $x$ relative to $\beta$, de..

이 포스트에서 $V, W$는 모두 $F$-벡터공간으로 취급한다. The nullity and rank Definition 2. Let $T \in \mathcal{L}(V, W)$. If $N(T)$ and $R(T)$ are finite-dimensional, then we define (1) the nullity of $T$, denoted nullity($T$) := dim($N(T)$), (2) the rank of $T$, denoted rank($T$) := dim($R(T)$). $N(I_V) = \{\mathbf{0}\}, R(I_V) = V$, 그리고 $N(T_0) = V, R(T_0) = \{\mathbf{0}\}$ 임을 생각해 볼 때, 직관적으로 nullity가 클수록 rank는 작아..

이 포스트에서 $V, W$는 모두 $F$-벡터공간으로 취급한다. The null space and range Definition 1. Let $T \in \mathcal{L}(V, W)$. (a) The null space (or kernel) $N(T)$ of $T$ is the set $N(T) = \{ x \in V \,|\, T(x) = \mathbf{0} \}.$ (b) The range (or image) $R(T)$ of $T$ is the set $R(T) = \{ T(x) \in W \,|\, x \in V \}$. Theorem 1 Theorem 1. Let $T \in \mathcal{L}(V, W)$. Then $N(T) \leq V$ and $R(T) \leq W$. Proof. ..

이 포스트에서 $V, W$는 모두 $F$-벡터공간으로 취급한다. Linear Transformation Definition 1. We call a function $T : V \rightarrow W$ a linear transformation from $V$ to $W$ if, $\forall x, y \in V$ and $c \in F$, we have (a) $T(x + y) = T(x) + T(y)$ and (b) $T(cx) = cT(x)$. 어떤 함수가 linear transformation이라는 것을 줄여서 linear라고 말하기도 한다. Linear Operater Definition 2. We call $T$ a linear operator on $V$ if $T$ is a linear ..

이 포스트에서 $V, W$는 모두 $F$-벡터공간으로 취급한다. Coset Definition 1. Let $W \leq V$. $\forall v \in V$, the set $\{v\} + W := \{v + w \,|\, w \in W\}$ is called the coset of $W$ containing $v$. It is customary to denote this coset by $v + W$ rather than $\{v\} + W$. Theorem 1 Theorem 1. Let $W \leq V$, and let $v + W$ be a coset of $W$ containing $v$. (a) $v + W \leq V \Longleftrightarrow v \in W.$ (b) Let $..

MaximalDefinition 1. Let $\mathcal{F}$ be a family of sets. A member $M$ of $\mathcal{F}$ is called maximal if $M$ is contained in no member of $\mathcal{F}$ other than $M$ itself.    말 그대로 포함 관계에 있어서 가장 최상위에 있는 원소를 maximal 이라고 한다. 예컨대 어떤 집합의 power set에서 그 집합은 자명하게 maximal element 이다. ChainDefinition 2. A collection of sets $\mathcal{C}$ is called a chain (or nest or tower) if for each pair of s..

Definition 1 Definition 1. (a) An $m \times n$ matrix with entries from a field $F$ is a rectangular array of the form $$\begin{pmatrix} a_{11} & a_{12} & \cdots & a_{1n} \\ a_{21} & a_{22} & \cdots & a_{2n} \\ \vdots & \vdots & & \vdots \\ a_{m1} & a_{m2} & \cdots & a_{mn} \end{pmatrix}$$ where each entry $a_{ij}\, (1 \leq i \leq m, 1 \leq j \leq n)$ is an element of $F$. (b) The entries $a_{ij..

Basis Definition 1. A basis $\beta$ for $V$ is a linearly independent subset of $V$ such that = $V$. generating set은 해당 벡터 공간의 정보를 알려주는 집합이고, 이때 최대한 그 크기를 줄인 집합이 linearly independent set이었다. 즉 두 조건을 모두 만족시키는 집합이야말로 벡터 공간을 다루기에 가장 좋은 집합이므로, 기저라는 이름으로 정의한다. Remark Remark. (a) A basis can be infinite. (b) Since = $\{\mathbf{0}\}$ and $\emptyset$ is linearly independent, $\emptyset$ is a basis for $..

GenerateDefinition 1. We say that $S \subseteq V$ generates (or spans) $V$ if = $V$. In this case, we also say that the vectors of $S$ generate (or span) $V$.    어떤 벡터 공간 $V$에 대해서 이를 생성하는 집합을 알 수 있다면 $V$를 다루는 것이 훨씬 수월해진다. 굳이 전체 공간인 $V$를 다룰 필요 없이 훨씬 더 작은 크기의 집합을 가지고 $V$를 표현할 수 있기 때문이다. 이때 이러한 generating set은 여러 개가 존재할 수 있기에 그중에서도 가장 크기가 작은 집합을 고르는 것이 자연스럽다.     예컨대 어떤 generating set 안의 한 벡터가 그 집..

Linear combination Definition 1. Let $\emptyset \neq S \subseteq V$. A vector $v \in V$ is called a linear combination of vectors of $S$ if $\exists$ $u_1, u_2, ..., u_n \in S$ and $a_1, a_2, ..., a_n \in F$ such that $$v = \sum_{i=1}^{n} a_iu_i.$$ 쉽게 말해 벡터 $v$를 적당히 다른 벡터들의 합으로 표현할 수 있다면, 이때 $v$를 linear combination이라고 한다. Note. Since $0v = \mathbf{0}, \forall v \in S$, $\mathbf{0}$ is a linear c..