logo

사영과 주입 📂양자정보이론

사영과 주입

양자정보이론
[ 펼치기 · 접기 ]

정의1

$n \in \mathbb{N}$과 $0 \le i \le n$에 대해서, 다음과 같은 함수 $p_{i}$

$$ \begin{align*} p_{i} : &\left\{ 0, 1 \right\}^{n+1} \to \left\{ 0, 1 \right\}^{n} \\ & (a_{0}, \dots, a_{n}) \mapsto (a_{0}, \dots, a_{i-1}, a_{i+1}, \dots, a_{n}) \end{align*} $$

사영projection이라 한다. 다음의 두 함수 $\imath_{i}$, $\jmath_{i}$

$$ \begin{align*} \imath : &\left\{ 0, 1 \right\}^{n} \to \left\{ 0, 1 \right\}^{n+1} \\ & (a_{0}, \dots, a_{n-1}) \mapsto (a_{0}, \dots, a_{i-1}, 0, a_{i+1}, \dots, a_{n-1}) \end{align*} $$

$$ \begin{align*} \jmath : &\left\{ 0, 1 \right\}^{n} \to \left\{ 0, 1 \right\}^{n+1} \\ & (a_{0}, \dots, a_{n-1}) \mapsto (a_{0}, \dots, a_{i-1}, 1, a_{i+1}, \dots, a_{n-1}) \end{align*} $$

주입injection이라 한다.

설명

사영은 $i$번째 진리값을 삭제하는 사상이고, 주입은 $i$번째 진리값을 뒤로 밀어내고 그 자리에 $0$ 혹은 $1$을 추가하는 사상이다. 이들은 각각 회로에서 전선을 버리거나 하여 실제로 구현할 수 있으므로, 증명이나 이론 전개 등에서 제약없이 쓸 수 있다고 가정한다.


  1. 김영훈·허재성, 양자 정보 이론 (2020), p91 ↩︎