# 데카르트 좌표계

데카르트 좌표계는 평면의 점을 실수 쌍으로 식별한다.
**데카르트 좌표계**(영어: Cartesian coordinate system)는 임의의 차원의 유클리드 공간(혹은 좀 더 일반적으로 내적 공간)을 나타내는 좌표계 중 하나이다. 천장을 날아다니며 옮겨붙는 파리를 통해 영감을 얻어 해당 좌표계를 발명한 프랑스의 철학자이자 수학자인 르네 데카르트의 이름을 따서 지어졌다. 2차원 데카르트 좌표계는 **좌표평면**(座標平面, 영어: coordinate plane), 3차원 데카르트 좌표계는 **좌표공간**(座標空間, 영어: coordinate space)이라고도 한다. 직교 좌표계(直交座標系, 영어: orthogonal coordinate system)는 데카르트 좌표계를 포함하여 극좌표계, 원통좌표계, 구면좌표계 등 좌표축과 평행한 단위벡터끼리 항상 서로 수직한 모든 좌표계를 총칭하는 표현이다. 데카르트 좌표계는 극좌표계 등 다른 좌표계와 달리, 임의의 차원으로 쉽게 일반화할 수 있다. 데카르트 좌표계는 나타내는 대상이 평행 이동에 대한 대칭을 가질 때 유용하나, 회전 대칭 등 다른 꼴의 대칭은 쉽게 나타내지 못한다. 일반적으로 주어진 유클리드 공간에 기저와 원점이 주어지면 이를 이용하여 데카르트 좌표계를 정의할 수 있다.

가장 흔하게 볼 수 있는 좌표평면이나 좌표공간의 경우, 데카르트 좌표를 통상적으로 라틴 문자 x, y, z로 적는다. 4차원인 경우, w나 (물리학에서 시공을 다루는 경우) t를 쓴다. 임의의 차원의 경우에는 첨자로 *xn*의 꼴로 쓴다.

실수 좌표 공간은 차원 WIKINIUM\_MATH\_PH\_0 의 모든 실수 튜플의 집합이다. 이는 좌표 벡터라고도 불리는 WIKINIUM\_MATH\_PH\_1 개의 실수 시퀀스 전체를 의미한다. 특수한 경우로는 실직선 WIKINIUM\_MATH\_PH\_2 , 실수 좌표 평면 WIKINIUM\_MATH\_PH\_3 , 그리고 실수 좌표 3차원 공간 WIKINIUM\_MATH\_PH\_4 이 있다. 성분별 덧셈과 스칼라배를 사용하면, 이는 실수 벡터 공간이다.

실수 벡터 공간의 원소에 대한 모든 기저에 대한 좌표는 벡터 공간과 같은 차원의 실수 좌표 공간을 형성한다. 마찬가지로, 차원 WIKINIUM\_MATH\_PH\_5 의 유클리드 공간 WIKINIUM\_MATH\_PH\_6 (유클리드 선, WIKINIUM\_MATH\_PH\_7 ; 유클리드 평면, WIKINIUM\_MATH\_PH\_8 ; 유클리드 3차원 공간, WIKINIUM\_MATH\_PH\_9 )의 점들의 데카르트 좌표는 차원 WIKINIUM\_MATH\_PH\_10 의 실수 좌표 공간을 형성한다.

벡터, 점 및 좌표 벡터 사이의 이러한 일대일 대응은 좌표 공간과 좌표 벡터의 이름을 설명한다. 이를 통해 실수 좌표 공간을 연구하는 데 기하학적 용어와 방법을 사용할 수 있으며, 반대로 미적분학 방법을 기하학에 사용할 수 있다. 이러한 기하학적 접근 방식은 17세기에 르네 데카르트가 도입했다. 이는 유클리드 공간에서 점의 위치를 파악하고 이들을 계산하는 데 널리 사용된다.

특히 좌표평면은 집합의 정보, 함수의 정보, 다항식의 정보, 행렬의 정보들을 한 공간에서 표현할 수 있는 정보의 통일된 규칙이 적용된다는 점에서 중요한 의미가 있다.

또한 이러한 데카르트 좌표계의 정보는 고차원의 데카르트 좌표계뿐만 아니라 다른 좌표계의 정보로 확장될 수 있어 더욱 중요한 의미를 가지며 지금까지도 계속해서 쓰이고 있다.

## 좌표평면

좌표평면의 예
오늘날에 사용하는 좌표평면은 xy평면을 이루는 서로 직교하는 x축(수평 방향)과 y축(수직 방향)으로 정의한다. x축과 y축이 만나는 점을 원점이라고 부른다.

### 사분면

좌표평면의 **사분면**(四分面, 영어: quadrant)은 x축, y축으로 나뉘는 좌표평면 상의 네 부분을 말한다. 제1사분면 ~ 제4사분면으로 나뉜다.

제1사분면은(+,+) 제2사분면은(-,+) 제3사분면은(-,-) 제4사분면은(+,-)

## 좌표공간

오늘날에 사용하는 좌표공간은 xy평면, xz평면, yz평면으로 이루어지는데 이 세 평면은 서로 직교하며 평면을 이루는 x축(수평 방향)과 y축(수직 방향) 그리고 z축 또한 서로 직교한다. x, y, z축이 만나는 점을 원점이라고 부른다.

## 정의 및 구조

임의의 자연수 WIKINIUM\_MATH\_PH\_11 에 대해, 집합 WIKINIUM\_MATH\_PH\_12 은 실수( WIKINIUM\_MATH\_PH\_13 )의 모든 WIKINIUM\_MATH\_PH\_14 -튜플로 구성된다. 이를 " WIKINIUM\_MATH\_PH\_15 -차원 실수 공간" 또는 "실수 WIKINIUM\_MATH\_PH\_16 -공간"이라고 부른다.

따라서 WIKINIUM\_MATH\_PH\_17 의 원소는 WIKINIUM\_MATH\_PH\_18 -튜플이며 다음과 같이 쓰인다.
 WIKINIUM\_MATH\_PH\_19
여기서 각 WIKINIUM\_MATH\_PH\_21 는 실수이다. 따라서 다변수 미적분학에서 다변수 함수의 정의역과 실수 벡터값 함수의 공역은 어떤 WIKINIUM\_MATH\_PH\_22 에 대해 WIKINIUM\_MATH\_PH\_23 의 부분집합이다.

실수 WIKINIUM\_MATH\_PH\_24 -공간은 다음과 같은 몇 가지 추가 속성을 갖는다.

* 성분별 덧셈과 스칼라배를 사용하면, 이는 실수 벡터 공간이다. 모든 WIKINIUM\_MATH\_PH\_25 -차원 실수 벡터 공간은 이와 동형이다.
* 스칼라곱(성분별 곱의 합)을 사용하면, 내적 공간이다. 모든 WIKINIUM\_MATH\_PH\_26 -차원 실수 내적 공간은 이와 동형이다.
* 모든 내적 공간과 마찬가지로, 위상 공간 (수학)이자 위상 벡터 공간이다.
* 유클리드 공간이자 실수 아핀 공간이며, 모든 유클리드 또는 아핀 공간은 이와 동형이다.
* 해석 다양체이며, 모든 다양체의 원형으로 간주될 수 있다. 왜냐하면 다양체는 정의상 각 점 근처에서 WIKINIUM\_MATH\_PH\_27 의 열린집합과 동형이기 때문이다.
* 대수다양체이며, 모든 실수 대수다양체는 WIKINIUM\_MATH\_PH\_28 의 부분집합이다.

 WIKINIUM\_MATH\_PH\_29 의 이러한 속성과 구조는 통계학, 확률론 및 물리학의 여러 부분과 같은 거의 모든 수학 분야 및 응용 분야에서 이를 근본적으로 중요하게 만든다.

## 다변수 함수의 정의역

 WIKINIUM\_MATH\_PH\_30 개의 실수 변수 함수 WIKINIUM\_MATH\_PH\_31 는 WIKINIUM\_MATH\_PH\_32 의 함수(즉, WIKINIUM\_MATH\_PH\_33 을 정의역으로 갖는 함수)로 간주될 수 있다. 여러 변수를 개별적으로 고려하는 대신 실수 WIKINIUM\_MATH\_PH\_34 -공간을 사용하면 표기를 단순화하고 합리적인 정의를 제안할 수 있다. WIKINIUM\_MATH\_PH\_35 에 대해 다음과 같은 형태의 함수의 합성을 고려해보자.
 WIKINIUM\_MATH\_PH\_36
여기서 함수 WIKINIUM\_MATH\_PH\_38 과 WIKINIUM\_MATH\_PH\_39 는 연속 함수이다. 만약

* WIKINIUM\_MATH\_PH\_40 가 연속이라면 ( WIKINIUM\_MATH\_PH\_41 에 의해)
* WIKINIUM\_MATH\_PH\_42 가 연속이라면 ( WIKINIUM\_MATH\_PH\_43 에 의해)

 WIKINIUM\_MATH\_PH\_44 는 반드시 연속인 것은 아니다. 연속성은 더 강한 조건이다. WIKINIUM\_MATH\_PH\_45 의 자연 위상(아래에서 설명)에서의 WIKINIUM\_MATH\_PH\_46 의 연속성은 다변수 연속성이라고도 불리며, 합성 함수 WIKINIUM\_MATH\_PH\_47 의 연속성을 위한 충분 조건이다.

## 벡터 공간

좌표 공간 WIKINIUM\_MATH\_PH\_48 은 체 실수에 선형성 구조를 추가하여 WIKINIUM\_MATH\_PH\_49 -차원 벡터 공간을 형성하며, 종종 여전히 WIKINIUM\_MATH\_PH\_50 으로 표기된다. 벡터 공간으로서 WIKINIUM\_MATH\_PH\_51 의 연산은 일반적으로 다음과 같이 정의된다.
 WIKINIUM\_MATH\_PH\_52
 WIKINIUM\_MATH\_PH\_54
영 벡터는 다음과 같이 주어진다.
 WIKINIUM\_MATH\_PH\_56
그리고 벡터 WIKINIUM\_MATH\_PH\_58 의 덧셈 역원은 다음과 같이 주어진다.
 WIKINIUM\_MATH\_PH\_59

이 구조는 모든 WIKINIUM\_MATH\_PH\_61 -차원 실수 벡터 공간이 벡터 공간 WIKINIUM\_MATH\_PH\_62 과 동형이기 때문에 중요하다.

### 행렬 표기

표준 행렬 표기법에서 WIKINIUM\_MATH\_PH\_63 의 각 원소는 일반적으로 열 벡터로 쓰인다.
 WIKINIUM\_MATH\_PH\_64
그리고 때로는 행 벡터로 쓰이기도 한다.
 WIKINIUM\_MATH\_PH\_66

좌표 공간 WIKINIUM\_MATH\_PH\_68 은 일반적인 행렬 덧셈과 스칼라배 연산을 사용하여 모든 WIKINIUM\_MATH\_PH\_69 열 벡터 또는 모든 WIKINIUM\_MATH\_PH\_70 행 벡터의 공간으로 해석될 수 있다.

 WIKINIUM\_MATH\_PH\_71 에서 WIKINIUM\_MATH\_PH\_72 으로의 선형 변환은 WIKINIUM\_MATH\_PH\_73 행렬로 쓰일 수 있으며, 이 행렬은 WIKINIUM\_MATH\_PH\_74 의 원소에 왼쪽 곱셈( WIKINIUM\_MATH\_PH\_75 의 원소가 열 벡터일 때)을 통해 작용하고, WIKINIUM\_MATH\_PH\_76 의 원소에 오른쪽 곱셈(행 벡터일 때)을 통해 작용한다. 행렬 곱셈의 특별한 경우인 왼쪽 곱셈 공식은 다음과 같다.
 WIKINIUM\_MATH\_PH\_77

모든 선형 변환은 연속 함수이다(아래 참조). 또한, 행렬은 행렬의 계수가 WIKINIUM\_MATH\_PH\_79 과 같을 때에만 WIKINIUM\_MATH\_PH\_80 에서 WIKINIUM\_MATH\_PH\_81 으로의 열린 사상을 정의한다.

### 표준 기저

좌표 공간 WIKINIUM\_MATH\_PH\_82 은 표준 기저를 갖는다.
 WIKINIUM\_MATH\_PH\_83

이것이 기저임을 보려면, WIKINIUM\_MATH\_PH\_85 의 임의의 벡터는 다음 형태로 유일하게 쓰여질 수 있다는 점에 주목하라.
 WIKINIUM\_MATH\_PH\_86

## 기하학적 성질 및 활용

### 방향

실수가 다른 많은 체와 달리 순서체를 구성한다는 사실은 WIKINIUM\_MATH\_PH\_88 에 방향 구조를 제공한다. WIKINIUM\_MATH\_PH\_89 에서 자기 자신으로 가는 모든 전계수 선형 사상은 행렬의 행렬식의 부호에 따라 공간의 방향을 보존하거나 반전시킨다. 좌표를 순열시키면 (또는 다른 말로, 기저의 원소를 순열시키면), 결과 방향은 순열의 패리티에 따라 달라진다.

 WIKINIUM\_MATH\_PH\_90 또는 그 영역의 미분동형사상은 영 야코비 행렬을 피하는 특성 때문에 방향 보존 및 방향 반전으로 분류된다. 이는 미분 형식 이론에 중요한 결과를 가져오며, 그 응용에는 전자기학이 포함된다.

이 구조의 또 다른 발현은 WIKINIUM\_MATH\_PH\_91 에서의 점대칭이 WIKINIUM\_MATH\_PH\_92 의 짝수 여부에 따라 다른 속성을 갖는다는 것이다. 짝수 WIKINIUM\_MATH\_PH\_93 의 경우 방향을 보존하지만, 홀수 WIKINIUM\_MATH\_PH\_94 의 경우 방향이 반전된다(부정 회전 참조).

### 아핀 공간

아핀 공간으로 이해되는 WIKINIUM\_MATH\_PH\_95 은 동일한 공간이며, 여기서 벡터 공간으로서의 WIKINIUM\_MATH\_PH\_96 은 작용을 통해 평행 이동에 의해 작용한다. 반대로, 벡터는 "두 점 사이의 차이"로 이해되어야 하며, 일반적으로 두 점을 연결하는 방향성 선분으로 설명된다. 이 구분은 아핀 WIKINIUM\_MATH\_PH\_97 -공간에서 원점이 어디로 가야 하는지에 대한 표준 형식 선택이 없다는 것을 의미한다. 왜냐하면 어디로든 평행 이동될 수 있기 때문이다.

### 볼록성

n-단체(아래 참조)는 모든 다포체에 매핑되는 표준 볼록 집합이며, 표준 WIKINIUM\_MATH\_PH\_98 아핀 초평면(표준 아핀 공간)과 표준 WIKINIUM\_MATH\_PH\_99 직사분면(표준 원뿔)의 교집합이다.
 WIKINIUM\_MATH\_PH\_100 과 같은 실수 벡터 공간에서 벡터의 모든 비음 선형 결합을 포함하는 볼록 원뿔을 정의할 수 있다. 아핀 공간에서 대응하는 개념은 볼록 집합으로, 볼록 조합(합이 1인 비음 선형 결합)만 허용한다.

보편대수학의 언어로, 벡터 공간은 유한 벡터 합에 해당하는 계수의 유한 시퀀스로 구성된 유한 차원 벡터 공간 WIKINIUM\_MATH\_PH\_101 에 대한 대수이고, 아핀 공간은 이 공간(합이 1인 유한 시퀀스)의 보편 아핀 초평면에 대한 대수이며, 원뿔은 보편 직사분면(비음수의 유한 시퀀스)에 대한 대수이고, 볼록 집합은 보편 단체(합이 1인 비음수의 유한 시퀀스)에 대한 대수이다. 이는 "좌표에 대한 (가능한) 제한이 있는 합"의 관점에서 공리들을 기하학화한다.

볼록 해석학의 또 다른 개념은 WIKINIUM\_MATH\_PH\_102 에서 실수로 가는 볼록 함수로, 점의 볼록 조합에서 함수 값과 해당 점에서 동일한 계수를 가진 값의 합 사이의 부등식을 통해 정의된다.

### 유클리드 공간

스칼라곱
 WIKINIUM\_MATH\_PH\_103
는 벡터 공간 WIKINIUM\_MATH\_PH\_105 에 노름 WIKINIUM\_MATH\_PH\_106 를 정의한다. 모든 벡터가 유클리드 노름을 갖는다면, 임의의 두 점 쌍에 대해 거리
 WIKINIUM\_MATH\_PH\_107
가 정의되어, 아핀 구조 외에 WIKINIUM\_MATH\_PH\_109 에 거리 공간 구조를 제공한다.

벡터 공간 구조와 마찬가지로, 스칼라곱과 유클리드 거리는 특별한 설명 없이 WIKINIUM\_MATH\_PH\_110 에 존재한다고 일반적으로 가정된다. 그러나 실수 WIKINIUM\_MATH\_PH\_111 -공간과 유클리드 WIKINIUM\_MATH\_PH\_112 -공간은 엄밀히 말하면 별개의 객체이다. 모든 유클리드 WIKINIUM\_MATH\_PH\_113 -공간은 위에서 보여진 형태의 스칼라곱과 유클리드 거리를 갖는 좌표계를 가지며, 이를 데카르트 좌표계라고 부른다. 그러나 유클리드 공간에는 많은 데카르트 좌표계가 존재한다.

반대로, 유클리드 거리에 대한 위 공식은 WIKINIUM\_MATH\_PH\_114 에 대한 표준 유클리드 구조를 정의하지만, 유일한 가능한 구조는 아니다. 사실, 모든 양의 정부호 이차 형식 WIKINIUM\_MATH\_PH\_115 는 자체적인 "거리" WIKINIUM\_MATH\_PH\_116 를 정의하지만, 이는 유클리드 거리와 크게 다르지 않다. 왜냐하면
 WIKINIUM\_MATH\_PH\_117
이러한 거리 함수의 변경은 완비 거리 공간이라는 속성과 같은 일부 속성을 보존한다.
이는 또한 WIKINIUM\_MATH\_PH\_119 의 모든 전계수 선형 변환 또는 그 아핀 변환이 거리를 고정된 WIKINIUM\_MATH\_PH\_120 이상으로 확대하지 않고, 고정된 유한 수 WIKINIUM\_MATH\_PH\_121 배보다 작게 만들지 않는다는 것을 의미한다.

위에서 언급된 거리 함수의 등가성은 WIKINIUM\_MATH\_PH\_122 가 WIKINIUM\_MATH\_PH\_123 로 대체될 때에도 유효하며, 여기서 WIKINIUM\_MATH\_PH\_124 은 차수 1의 임의의 볼록 양의 동차함수, 즉 벡터 노름이다(민코프스키 거리의 유용한 예시 참조). WIKINIUM\_MATH\_PH\_125 의 어떤 "자연적인" 거리도 유클리드 거리와 특별히 다르지 않다는 사실 때문에, WIKINIUM\_MATH\_PH\_126 은 전문적인 수학 연구에서도 유클리드 WIKINIUM\_MATH\_PH\_127 -공간과 항상 구별되지 않는다.

### 대수기하학과 미분기하학에서

다양체의 정의가 모델 공간이 WIKINIUM\_MATH\_PH\_128 이어야 한다고 요구하지는 않지만, 이 선택은 미분기하학에서 가장 일반적이며 거의 유일한 선택이다.

다른 한편으로, 휘트니 매장 정리는 모든 실수 미분 가능 WIKINIUM\_MATH\_PH\_129 -차원 다양체가 WIKINIUM\_MATH\_PH\_130 에 매장될 수 있다고 말한다.

### 다른 출현

 WIKINIUM\_MATH\_PH\_131 에서 고려되는 다른 구조로는 유사 유클리드 공간, 심플렉틱 구조(짝수 WIKINIUM\_MATH\_PH\_132 ), 접촉 구조(홀수 WIKINIUM\_MATH\_PH\_133 )가 있다. 이러한 모든 구조는 좌표가 없는 방식으로 정의될 수 있지만, 좌표에서는 표준(및 합리적으로 단순한) 형태를 허용한다.

 WIKINIUM\_MATH\_PH\_134 은 또한 WIKINIUM\_MATH\_PH\_135 의 실수 벡터 부분 공간이며 복소 공액에 대해 불변이다. 복소화도 참조하라.

### Rn에서의 다포체

 WIKINIUM\_MATH\_PH\_136 공간에는 임의의 WIKINIUM\_MATH\_PH\_137 에 대해 단순한 표현을 갖는 세 가지 종류의 다포체가 있으며, 이는 실수 WIKINIUM\_MATH\_PH\_138 -공간의 모든 아핀 좌표계를 시각화하는 데 사용될 수 있다. 초입방체의 꼭짓점은 WIKINIUM\_MATH\_PH\_139 좌표를 가지며, 여기서 각 WIKINIUM\_MATH\_PH\_140 는 일반적으로 0 또는 1의 두 값 중 하나를 취한다. 그러나 0과 1 대신 임의의 두 수를 선택할 수 있는데, 예를 들어 −1과 1이 있다. WIKINIUM\_MATH\_PH\_141 -초입방체는 실수선 위의 WIKINIUM\_MATH\_PH\_142 개의 동일한 구간(예: 단위 구간 WIKINIUM\_MATH\_PH\_143 )의 데카르트 곱으로 생각될 수 있다. WIKINIUM\_MATH\_PH\_144 -차원 부분집합으로서는 WIKINIUM\_MATH\_PH\_145 개의 부등식 시스템으로 설명될 수 있다.
 WIKINIUM\_MATH\_PH\_146 의 경우:
 WIKINIUM\_MATH\_PH\_147
 WIKINIUM\_MATH\_PH\_149 의 경우:
 WIKINIUM\_MATH\_PH\_150

정축체의 각 꼭짓점은 어떤 WIKINIUM\_MATH\_PH\_152 에 대해 WIKINIUM\_MATH\_PH\_153 좌표가 ±1이고 다른 모든 좌표는 0이다(부호를 제외하고는 WIKINIUM\_MATH\_PH\_154 번째 표준 기저 벡터와 같다). 이는 초입방체의 쌍대 다포체이다. WIKINIUM\_MATH\_PH\_155 -차원 부분집합으로서는 절댓값 연산을 사용하는 단일 부등식으로 설명될 수 있다.
 WIKINIUM\_MATH\_PH\_156
그러나 이는 WIKINIUM\_MATH\_PH\_158 개의 선형 부등식 시스템으로도 표현될 수 있다.

좌표를 간단히 나열할 수 있는 세 번째 다포체는 표준 단체 (수학)로, 꼭짓점은 WIKINIUM\_MATH\_PH\_159 개의 표준 기저 벡터와 원점 WIKINIUM\_MATH\_PH\_160 이다. WIKINIUM\_MATH\_PH\_161 -차원 부분집합으로서는 WIKINIUM\_MATH\_PH\_162 개의 선형 부등식 시스템으로 설명된다.
 WIKINIUM\_MATH\_PH\_163
모든 "≤"를 "<"로 바꾸면 이들 다포체의 내부가 된다.

## 위상적 성질

 WIKINIUM\_MATH\_PH\_165 의 위상 구조(**표준 위상**, **유클리드 위상** 또는 **보통 위상**이라고 불림)는 데카르트 곱에서 얻을 수 있을 뿐만 아니라, 위에서 논의된 유클리드 거리에 의해 유도되는 자연 위상과도 동일하다. 즉, 유클리드 위상에서 열린집합은 모든 점 주위에 열린 공을 포함할 때만 열린집합이다. 또한, WIKINIUM\_MATH\_PH\_166 은 위상 벡터 공간이며, 그 선형 구조와 양립하는 가능한 (비자명한) 위상은 오직 하나뿐이다. WIKINIUM\_MATH\_PH\_167 에서 자기 자신으로 가는 많은 열린 선형 사상 중에서 등거리변환이 아닌 것이 많기 때문에, 동일한 위상에 해당하는 많은 유클리드 구조가 WIKINIUM\_MATH\_PH\_168 에 존재할 수 있다. 실제로는 선형 구조에 크게 의존하지 않는다. WIKINIUM\_MATH\_PH\_169 자신 또는 유클리드 열린 공이나 초입방체의 내부와 같은 그 부분에 대한 많은 비선형 미분동형사상(및 다른 위상동형사상)이 존재한다.

 WIKINIUM\_MATH\_PH\_170 은 위상 차원 WIKINIUM\_MATH\_PH\_171 을 갖는다.

 WIKINIUM\_MATH\_PH\_172 의 위상에 대한 중요하고 피상적이지 않은 결과는 브라우어의 영역 불변성 정리이다. WIKINIUM\_MATH\_PH\_173 의 부분집합(부분공간 위상을 가짐)이 WIKINIUM\_MATH\_PH\_174 의 다른 열린 부분집합과 위상동형이면 그 자체로 열려 있다. 이 정리의 즉각적인 결과는 WIKINIUM\_MATH\_PH\_175 일 때 WIKINIUM\_MATH\_PH\_176 이 WIKINIUM\_MATH\_PH\_177 과 위상동형이 아니라는 것이다. 이는 직관적으로 "명백한" 결과이지만 증명하기는 어렵다.

위상 차원의 차이에도 불구하고, 그리고 순진한 인식과는 달리, 더 낮은 차원의 실수 공간을 WIKINIUM\_MATH\_PH\_178 으로 연속적으로 그리고 전사적으로 매핑하는 것이 가능하다. 연속적인 (비록 매끄럽지는 않지만) 공간 채움 곡선( WIKINIUM\_MATH\_PH\_179 의 이미지)이 가능하다.

## 예시

|  |
| --- |
|  |
| 빈 열 벡터, WIKINIUM\_MATH\_PH\_180 의 유일한 원소
  |

### n ≤ 1

 WIKINIUM\_MATH\_PH\_181 의 경우는 새로운 것을 제공하지 않는다. WIKINIUM\_MATH\_PH\_182 은 실직선이고, WIKINIUM\_MATH\_PH\_183 (빈 열 벡터를 포함하는 공간)은 한원소 집합이며, 영 벡터 공간으로 이해된다. 그러나 이러한 경우를 다양한 WIKINIUM\_MATH\_PH\_184 을 설명하는 이론의 자명한 사례로 포함하는 것이 유용하다.

### n = 2

 WIKINIUM\_MATH\_PH\_185 의 초입방체와 정축체는 모두 정사각형이지만 꼭짓점의 좌표는 다르게 배열된다.
x와 y가 실수인 (x,y)의 경우는 데카르트 평면 P로 발전했다. P에서 방향이 있는 선분을 나타내는 유클리드 벡터로 추가 구조가 부착되었다. 이 평면은 또한 실수 체 WIKINIUM\_MATH\_PH\_186 에 X2 + 1 = 0의 근을 추가하여 체의 확대 WIKINIUM\_MATH\_PH\_188 로 발전했다. 근 i는 P에 시계 반대 방향으로 4분 회전으로 작용한다. 이 근은 군 WIKINIUM\_MATH\_PH\_190 를 생성한다. (x,y)가 x + y i로 쓰여질 때, 그것은 복소수이다.

작용소가 j로 표현된 WIKINIUM\_MATH\_PH\_192 에 의한 또 다른 군의 작용은 평면 (x,y) ↦ (y,x)를 뒤집는 대합을 위해 y=x 선을 사용하는데, 이는 좌표의 교환이다. 이 경우 P의 점들은 x + y j로 쓰여지고 분할복소수라고 불린다. 이 수들은 성분별 덧셈과 jj=+1에 따른 곱셈으로 환을 형성하지만, 체는 아니다.

P에 대한 또 다른 환 구조는 멱영원 e를 사용하여 (x,y)를 x + y e로 쓴다. P에 대한 e의 작용은 평면을 선으로 축소시킨다. 이는 x-좌표로의 사영으로 분해된 다음, 결과를 y-축으로 4분 회전시키는 것으로 볼 수 있다. e (x + y e) = x e (e2 = 0이므로). x + y e는 이원수 (수학)이다. 이원수는 환을 형성하지만, e는 곱셈 역원이 없으므로 군을 생성하지 않아 작용은 군 작용이 아니다.

P에서 (0,0)을 제외하면 [x : y]는 사영 좌표가 되며, 이는 실수 사영선을 나타내는 1차원 공간이다. 원점이 제외되었으므로 x/y와 y/x 중 적어도 하나는 존재한다. 그러면 [x : y] = [x/y : 1] 또는 [x : y] = [1 : y/x]이다. 사영선 **P**1(**R**)은 두 개의 좌표 차트, [z : 1] → z 또는 [1 : z] → z로 덮이는 위상 다양체이며, 이는 아틀라스를 형성한다. 두 차트에 모두 덮이는 점의 경우, 전이 함수는 점의 열린 근방에서 곱셈 역함수이며, 이는 다양체에서 필요한 위상동형사상을 제공한다. 실수 사영선의 한 응용은 케일리-클라인 기하학에서 찾을 수 있다.

### n = 3

 WIKINIUM\_MATH\_PH\_194 의 정육면체 (초입방체)와 팔면체 (정축체). 좌표는 표시되지 않았다.

### n = 4

 WIKINIUM\_MATH\_PH\_195 는 각 WIKINIUM\_MATH\_PH\_196 가 0 또는 1 중 하나인 16개의 점 WIKINIUM\_MATH\_PH\_197 이 정팔포체 (그림)의 꼭짓점이라는 사실을 사용하여 상상할 수 있다(위 참조).

 WIKINIUM\_MATH\_PH\_198 의 첫 번째 주요 사용은 시공간 모델이다. 세 개의 공간 좌표와 하나의 시간 좌표이다. 이는 일반적으로 상대성이론과 관련되어 있지만, 갈릴레오 이후로 4차원이 그러한 모델에 사용되었다. 그러나 이론의 선택은 다른 구조로 이어진다. 갈릴레오 상대론에서는 WIKINIUM\_MATH\_PH\_199 좌표가 특권화되지만, 아인슈타인의 상대론에서는 그렇지 않다. 특수 상대론은 민코프스키 공간에서 설정된다. 일반 상대론은 대부분의 실용적인 목적을 위해 곡선 계량을 가진 WIKINIUM\_MATH\_PH\_200 로 생각될 수 있는 곡선 공간을 사용한다. 이러한 구조 중 어느 것도 WIKINIUM\_MATH\_PH\_201 에 (양의 정부호) 거리를 제공하지 않는다.

유클리드 WIKINIUM\_MATH\_PH\_202 도 수학자들의 관심을 끈다. 예를 들어, 4차원 실수 대수인 사원수와의 관계 때문이다. 자세한 내용은 4차원 유클리드 공간에서의 회전을 참조하라.

미분기하학에서 WIKINIUM\_MATH\_PH\_203 는 WIKINIUM\_MATH\_PH\_204 이 비표준 미분 구조를 허용하는 유일한 경우이다. 별난 4차원 유클리드 다양체를 참조하라.

## WIKINIUM\_MATH\_PH\_205 상의 노름

벡터 공간 WIKINIUM\_MATH\_PH\_206 에는 많은 노름을 정의할 수 있다. 몇 가지 일반적인 예는 다음과 같다.

* p-노름은 모든 WIKINIUM\_MATH\_PH\_207 에 대해 WIKINIUM\_MATH\_PH\_209 로 정의된다. 여기서 WIKINIUM\_MATH\_PH\_211 는 양의 정수이다. WIKINIUM\_MATH\_PH\_213 인 경우는 매우 중요하다. 왜냐하면 정확히 유클리드 노름이기 때문이다.
* WIKINIUM\_MATH\_PH\_215 -노름 또는 최대 노름은 모든 WIKINIUM\_MATH\_PH\_217 에 대해 WIKINIUM\_MATH\_PH\_219 로 정의된다. 이는 모든 p-노름의 극한이다. WIKINIUM\_MATH\_PH\_221 .

정말 놀랍고 유용한 결과는 WIKINIUM\_MATH\_PH\_223 에 정의된 모든 노름이 동등하다는 것이다. 이는 WIKINIUM\_MATH\_PH\_224 에 대한 임의의 두 노름 WIKINIUM\_MATH\_PH\_225 과 WIKINIUM\_MATH\_PH\_227 에 대해 항상 양의 실수 WIKINIUM\_MATH\_PH\_229 를 찾을 수 있다는 것을 의미한다.
 WIKINIUM\_MATH\_PH\_231 모든 WIKINIUM\_MATH\_PH\_233 에 대해.

이는 WIKINIUM\_MATH\_PH\_235 에 대한 모든 노름 집합에 대한 동치 관계를 정의한다. 이 결과로 WIKINIUM\_MATH\_PH\_236 의 벡터 시퀀스가 WIKINIUM\_MATH\_PH\_237 에 대해 수렴하는지 여부가 WIKINIUM\_MATH\_PH\_239 에 대해 수렴하는지 여부와 동일하다는 것을 확인할 수 있다.

다음은 이 결과의 증명이 어떻게 생겼는지에 대한 스케치이다.

동치 관계 때문에 WIKINIUM\_MATH\_PH\_241 의 모든 노름이 유클리드 노름 WIKINIUM\_MATH\_PH\_242 와 동등하다는 것을 보이는 것으로 충분하다. WIKINIUM\_MATH\_PH\_244 에 대한 임의의 노름을 WIKINIUM\_MATH\_PH\_245 이라고 하자. 증명은 두 단계로 나뉜다.

* 모든 WIKINIUM\_MATH\_PH\_247 에 대해 WIKINIUM\_MATH\_PH\_249 를 만족하는 WIKINIUM\_MATH\_PH\_251 가 존재함을 보인다. 이 단계에서는 모든 WIKINIUM\_MATH\_PH\_253 가 표준 기저의 선형 결합으로 표현될 수 있다는 사실을 사용한다. WIKINIUM\_MATH\_PH\_255 . 그런 다음 코시-슈바르츠 부등식을 사용하여

 WIKINIUM\_MATH\_PH\_257
여기서 WIKINIUM\_MATH\_PH\_259 .

* 이제 모든 WIKINIUM\_MATH\_PH\_261 에 대해 WIKINIUM\_MATH\_PH\_263 를 만족하는 WIKINIUM\_MATH\_PH\_265 를 찾아야 한다. 그러한 WIKINIUM\_MATH\_PH\_267 가 없다고 가정하자. 그러면 모든 WIKINIUM\_MATH\_PH\_269 에 대해 WIKINIUM\_MATH\_PH\_271 를 만족하는 WIKINIUM\_MATH\_PH\_273 가 존재한다. 두 번째 시퀀스 WIKINIUM\_MATH\_PH\_275 를 WIKINIUM\_MATH\_PH\_277 로 정의한다. 이 시퀀스는 WIKINIUM\_MATH\_PH\_279 이므로 유계이다. 따라서 볼차노-바이어슈트라스 정리에 의해 WIKINIUM\_MATH\_PH\_281 에서 극한 WIKINIUM\_MATH\_PH\_282 를 갖는 수렴 부분 시퀀스 WIKINIUM\_MATH\_PH\_284 가 존재한다. 이제 WIKINIUM\_MATH\_PH\_286 이지만 WIKINIUM\_MATH\_PH\_288 임을 보일 것이다. 이는 모순이다.

 WIKINIUM\_MATH\_PH\_290
왜냐하면 WIKINIUM\_MATH\_PH\_292 이고 WIKINIUM\_MATH\_PH\_294 이므로 WIKINIUM\_MATH\_PH\_296 이다. 이는 WIKINIUM\_MATH\_PH\_298 을 의미하므로 WIKINIUM\_MATH\_PH\_300 이다. 다른 한편으로 WIKINIUM\_MATH\_PH\_302 인데, 왜냐하면 WIKINIUM\_MATH\_PH\_304 이기 때문이다. 이는 절대로 참이 될 수 없으므로 가정이 거짓이었고, 그러한 WIKINIUM\_MATH\_PH\_306 가 존재한다.

* 르네 데카르트
* 복소평면
* 극좌표계
* 구면좌표계
* 원통좌표계
* 지수 대상, 위첨자 표기법에 대한 이론적 설명
* 기하 공간
* 실수 사영 공간

* 0에서 무한까지(크리스 워링, 세종연구원, 2014.1.14)
* Kelley, John L. (1975). 《General Topology》. Springer-Verlag. ISBN 0-387-90125-6.
* Munkres, James (1999). 《Topology》. Prentice-Hall. ISBN 0-13-181629-2.

* **(영어)** 데카르트 좌표계
* “Cartesian coordinates” (영어). 《PlanetMath》.