사영과 주입
📂양자정보이론사영과 주입
정의
n∈N과 0≤i≤n에 대해서, 다음과 같은 함수 pi
pi:{0,1}n+1→{0,1}n(a0,…,an)↦(a0,…,ai−1,ai+1,…,an)
를 사영projection이라 한다. 다음의 두 함수 i, i
:{0,1}n→{0,1}n+1(a0,…,an−1)↦(a0,…,ai−1,0,ai+1,…,an−1)
:{0,1}n→{0,1}n+1(a0,…,an−1)↦(a0,…,ai−1,1,ai+1,…,an−1)
를 주입injection이라 한다.
설명
사영은 i번째 진리값을 삭제하는 사상이고, 주입은 i번째 진리값을 뒤로 밀어내고 그 자리에 0 혹은 1을 추가하는 사상이다. 이들은 각각 회로에서 전선을 버리거나 하여 실제로 구현할 수 있으므로, 증명이나 이론 전개 등에서 제약없이 쓸 수 있다고 가정한다.