선(지오메트리)

Line (geometry)
이 그래프의 빨간색과 파란색 선은 경사(점수)가 같고, 빨간색과 녹색 선은 y 절편(같은 위치에서 y축을 교차)이 같다.
세그먼트의 표현.

기하학에서 선이직선의 개념은 무시해도 될 정도의 폭과 깊이를 가진 직선 물체(, 곡면성이 없는 것)를 나타내기 위해 고대 수학자들에 의해 도입되었다.선은 그러한 객체의 이상화로서, 흔히 두 가지 점(예: 파운드{\으로 설명하거나 단일 문자(예: })[1]로 언급된다.

17세기까지 선은 "[...] 제1종 양으로 정의되었는데, 이 종은 길이도 깊이도 폭도 없이 단지 하나의 차원만을 가지고 있으며, [...] 어떤 폭도 배제한 채 상상의 이동으로 어떤 자취에서 벗어날 지점의 흐름이나 런에 지나지 않는다.[...] 직선은 바로 그것과 같은 것이다.동맹이 그 지점들 사이에 확장되어 있다."[2]

유클리드는 선을 "자체 위의 점들에 관해서 균등하게 놓여 있는" "브레드리스 길이"라고 묘사했다; 그는 몇 개의 행정을 그가 모든 기하학을 건설한 기본적인 입증 불가능한 특성이라고 소개했는데, 이것은 현재 19세기 말부터 도입된 다른 기하학과의 혼동을 피하기 위해 유클리드 기하학이라고 불린다.고리(비유클리드, 투사형부착형 기하학 등)

현대 수학에서, 기하학의 다수를 고려할 때, 선의 개념은 기하학이 묘사되는 방식과 밀접하게 연관되어 있다.예를 들어, 분석 기하학에서, 평면의 선은 종종 좌표가 주어진 선형 방정식을 만족하는 점들의 집합으로 정의되지만, 입사 기하학과 같은 보다 추상적인 설정에서 선은 그 위에 놓여 있는 점들의 집합과는 구별되는 독립적인 객체일 수 있다.

기하학이 공리 집합에 의해 설명될 때, 선의 개념은 대개 정의되지 않은 채 방치된다(일명 원시적 객체).선들의 특성은 선들을 가리키는 공리에 의해 결정된다.이 접근방식의 한 가지 장점은 기하학 사용자에게 제공하는 유연성이다.따라서 차동 기하학에서 선은 지오데틱(점 사이의 가장 짧은 경로)으로 해석될 수 있는 반면, 일부 투영 기하학에서 선은 2차원 벡터 공간(두 개의 독립 벡터의 모든 선형 결합)이다.이러한 유연성은 또한 수학 이상으로 확장되며, 예를 들어 물리학자들이 광선의 경로를 선이라고 생각할 수 있게 한다.

정의 대 설명

모든 정의는 그 자체가 정의가 있어야 하는 개념에 의존하기 때문에 본질적으로 궁극적으로 순환적이며, 이는 출발점으로 돌아가지 않고는 무한히 지속될 수 없다.이러한 악순환을 피하기 위해, 어떤 개념들은 원시 개념으로 받아들여져야 한다. 즉, 정의가 주어지지 않은 용어들이다.[3]기하학에서는 선이라는 개념을 원시적인 개념으로 받아들이는 경우가 많다.[4]좌표 기하학에서와 같이 선이 정의된 개념인 상황에서, 일부 다른 기본 사상은 원시적 개념으로 간주된다.선 개념이 원시적인 경우 선의 행동과 성질은 그들이 충족시켜야 하는 공리에 의해 결정된다.

기하학의 비자율적 또는 단순화된 자명적 처리에서 원시 개념의 개념은 너무 추상적이어서 다루기 어려울 수 있다.이러한 상황에서, 원시의 개념에 대한 설명이나 정신적 이미지를 제공하는 것이 가능하며, 공식적으로 (정설화되지 않은) 공리에 기초할 개념을 구축할 수 있는 기반을 제공할 수 있다.일부 저자는 이러한 형식에 대한 설명을 비공식적인 발표 방식의 정의라고 언급할 수 있다.이것들은 진정한 정의가 아니며, 공식적인 진술 증명에 사용될 수 없다.유클리드 원소에 있는 선의 "정의"는 이 범주에 속한다.[5]특정 기하학(예: 유클리드 기하학)을 고려하고 있는 경우에도, 주체를 정식으로 취급하지 않을 때 행에 대한 비공식적인 설명이 어떻게 되어야 하는지에 대해서는 저자들 사이에 일반적으로 받아들여지는 동의는 없다.

유클리드 기하학에서

유클리드(Eucleid)에 의해 기하학이 처음 공식화되었을 때, 그는 일반 선(직선 또는 곡선)을 "브레드리스 길이"로 정의했고, 직선은 "그 자체에 점들이 고르게 놓여 있는" 선이다.[6]이러한 정의는 그 자체로 정의되지 않은 용어를 사용하기 때문에 거의 의미가 없다.사실 유클리드 자신은 이 작품에서 이러한 정의를 사용하지 않았으며, 단지 독자들에게 논의되고 있는 것을 분명히 하기 위해서 그러한 정의를 포함시켰을 것이다.현대 기하학에서 선은 단순히 공리에 의해 주어진 성질을 가진 정의되지 않은 물체로 받아들여지지만,[7] 때로는 어떤 다른 근본적인 개념이 정의되지 않은 채로 남겨질 때 선형 관계에 복종하는 점들의 집합으로 정의되기도 한다.

힐베르트(유클리드의 원래 공리는 현대 수학자들에 의해 교정된 다양한 결함을 포함하고 있다)[8]와 같은 유클리드 기하학의 자명적인 공식화에서 선은 다른 선과 점들과 관련되는 특정한 속성을 가지고 있다고 명시된다.예를 들어, 어떤 두 개의 구별되는 점의 경우, 그것들을 포함하는 고유한 선이 있으며, 어떤 구별되는 두 개의 선은 최대 한 점에서 교차한다.[9]2차원(즉, 유클리드 평면)에서는 교차하지 않는 두 선을 평행이라고 한다.더 높은 차원에서는 교차하지 않는 두 선이 평면에 포함되어 있으면 평행하고, 교차하지 않으면 기울어진다.

미세하게 많은 선들의 집합은 평면을 볼록한 다각형으로 분할한다. 이 분할은 선의 배열이라고 알려져 있다.

데카르트 좌표

데카르트 평면의 선 또는 보다 일반적으로 부속 좌표의 선은 선형 방정식으로 특징지어진다.더 정확히 말하면, 모든 선 L수직선 포함)은 좌표(x, y)가 선형 방정식을 만족하는 모든 점의 집합이다. 즉,

여기서 a, bcab가 모두 0이 아닌 고정된 실수(계수라고 함)이다. 양식을 사용하여 수직선은 b = 0의 방정식에 해당한다.

0이 아닌 경우 모든 것을 c로 나누면 c = 1 또는 c = 0이라고 가정할 수 있다.

대수적 조작에 의해 모두 하나에서 다른 것으로 변환될 수 있는 선의 방정식을 쓰는 많은 변형된 방법들이 있다.위의 형식을 표준형이라고 부르기도 한다.상수 항을 왼쪽에 붙이면 방정식이 된다.

그리고 이것은 때때로 방정식의 일반적인 형태라고 불린다.그러나 이 용어는 보편적으로 받아들여지지 않으며, 많은 저자들이 이 두 형식을 구분하지 않는다.

이러한 양식(다른 양식에 대한 선형 방정식 참조)은 일반적으로 양식을 적는 데 필요한 선에 대한 정보(데이터) 유형에 의해 명명된다.선의 중요한 데이터 중 일부는 기울기, x 절편, 선의 알려진 점 및 y 절편이다.

0( , 0) 및 P 1 ,y ) },을 통과하는 의 방정식은 다음과 같이 쓸 수 있다.

- )( - )=( - y )( - )

x0x이면1 이 방정식은 다음과 같이 다시 쓰일 수 있다.

또는

모수 방정식

파라메트릭 방정식은 특히 2차원 이상의 선에서는 단일 선형 방정식으로 설명할 수 없기 때문에 3차원 이상의 선에서는 선들을 지정하는데도 사용된다.

3차원 선은 흔히 파라메트릭 방정식으로 설명된다.

여기서:

x, y, z는 모두 실수에 걸쳐 있는 독립 변수 t의 함수다.
(x0, y0, z0)는 선의 임의의 지점이다.
a, b, c는 방향 벡터(a, b, c)가 선과 평행하도록 선의 기울기와 관련된다.

더 높은 차원의 선에 대한 파라메트릭 방정식은 선상의 한 점과 방향 벡터의 사양을 기반으로 한다는 점에서 유사하다.

참고로 3차원의 선은 두 개의 선형 방정식의 동시 해법이라고도 설명할 수 있다.

such that and are not proportional (the relations imply .이는 3차원에서 단일 선형 방정식이 일반적으로 평면을 설명하고 선은 두 개의 뚜렷한 교차 평면에 공통되는 것이기 때문에 뒤따른다.

경사 절편형식

2차원에서 비수직선에 대한 방정식은 종종 다음과 같은 경사 절편 형태로 제시된다.

여기서:

m은 선의 기울기 또는 기울기입니다.
b는 선의 y자형이다.
xy = f(x) 함수의 독립 변수다.

The slope of the line through points and , when , is given by 그리고 이 선의 방정식은 = m( - x )+ 라고 쓸 수 있다

정상형식

정상 형태(독일 수학자 루트비히 오토 헤세(Ludwig Otto Hese)[10]의 이름을 따서 헤세 정상 형태라고도 함)는 주어진 선에 대한 정상 세그먼트를 바탕으로 하며, 이는 선에 수직인 원점에서 도출된 선 세그먼트로 정의된다.이 세그먼트는 선에서 원점에 가장 가까운 점과 원점을 결합한다.평면에서 직선 방정식의 정상적인 형태는 다음과 같다.

여기서 (는) 정규 세그먼트의 기울기 각도(x축 단위 벡터에서 이 세그먼트까지의 방향각)이며 p는 정규 세그먼트의 (양) 길이이다.정규 형식은 모든 계수를 과 같이 나누어 표준 x + y = 에서 도출할 수 있다.

경사 절편 및 절편 형식과는 달리 이 형식은 모든 선을 나타낼 수 있지만 p라는 두 개의 유한 매개변수만 지정하면 된다.p > 0이면 이(가) 고유하게 정의된 modulo 이다.반면 선이 원점(c = p = 0)을 통과하면 c/c 용어를 떨어뜨려 를) 계산하고, }은 modulo π로만 정의된다.

극좌표에서

데카르트 평면에서 극좌표(r, θ)는 방정식에 의해 데카르트 좌표와 관련된다.

극좌표에서는 원점을 통과하지 않는 선의 방정식, 즉 좌표(0, 0)가 있는 점을 기록할 수 있다.

with r > 0 and Here, p is the (positive) length of the line segment perpendicular to the line and delimited by the origin and the line, and is the (oriented) angle from the x-axis to this segment.

x축과 선 사이의 각도 = + / 2 의 관점에서 방정식을 표현하는 것이 유용할 수 있다.이 경우 방정식이 된다.

r > 0 <> +

방정식은 x= y= y를 설정한 다음 사인 또는 코사인(cosine)에 대한 각도 차이 ID를 적용하여 선 방정식의 정상적인 형태에서 도출할 수 있다.

또한 이러한 방정식은 선과 원점을 정점으로 하는 직각 삼각형에 사인 및 코사인 직각 삼각형 정의를 적용하여 기하학적으로 증명할 수 있다.

이전의 양식은 원점을 통과하는 선에는 적용되지 않지만, 더 간단한 공식은 다음과 같다: 원점을 통과하는 선점의 극좌표 , 원점을 통과하고 x축으로 {\}의 각도를 만드는 선점의 극좌표 ,이다 그런 것.

벡터 방정식으로

A와 B를 통과하는 선의 벡터 방정식은 r= + 에 의해 주어진다(여기서 ar은 스칼라임).

a가 벡터 OA이고 b가 벡터 OB인 경우 의 방정식은 r= a + - a) -로 기록할 수 있다

A 지점에서 시작하는 광선은 λ을 제한하여 설명한다.λ 0이면 한 개의 광선을 얻고, 그 반대 광선은 λ 0에서 나온다.

더 높은 차원으로

3차원 공간에서는 변수 x, y, z1도 방정식이 평면을 정의하므로, 평면이 평행이 아닐 경우 평면의 교차점인 선을 정의한다.보다 일반적으로 n차원 공간에서는 n 좌표 변수의 n-1 1도 방정식이 적절한 조건에서 선을 정의한다.

보다 일반적인 유클리드 공간 Rn(그리고 다른 모든 부속 공간에서 유사하게)에서, 두 개의 다른 지점 ab(벡터로 간주됨)를 통과하는 선 L은 부분집합이다.

선의 방향은 a(t = 0)에서 b(t = 1)로, 즉 벡터 b - a의 방향으로. a와 b의 다른 선택은 동일한 선을 산출할 수 있다.

시준점

세 점이 같은 선에 놓여 있으면 일직선으로 되어 있다고 한다.보통 3개의 이 평면을 결정하지만, 3개의 동일선 점의 경우에는 이러한 일이 발생하지 않는다.

부속 좌표에서 n차원 공간에서는 행렬이 있으면 X = (x1, x2, x, xn), Y = (y12, y, ..., yn), Z = (z1, z, ..., z)가2n 시준된다.

계급이 3 미만이다.특히 평면의 세 점(n = 2)에 대해 위의 행렬은 정사각형이고 결정 요인이 0인 경우에만 점이 일직선이다.

평면의 세 점에 대해 동등하게, 한 점 쌍 사이의 기울기가 다른 점 쌍 사이의 기울기와 같을 경우에만 점이 일렬로 정렬된다(이 경우 나머지 점 쌍 사이의 기울기는 다른 기울기와 같음).확장에 의해 평면의 k 점은 (k–1) 쌍의 점들이 동일한 쌍의 기울기를 갖는 경우에만 시준된다.

유클리드 기하학에서 두 지점 a와 b 사이의 유클리드 거리 d(a,b)를 사용하여 세 지점 사이의 공선성을 다음과 같이 표현할 수 있다.[11][12]

d(x,a) = d(c,a) 및 d(x,b) = d(x,b) = d(c,b) = d(c,b)가 x = c를 내포하는 경우에만 a, b, c 점이 시준된다.

그러나 이 속성이 사실이 아닌 다른 개념의 거리(맨해튼 거리 등)가 있다.

선의 개념이 원시적인 개념인 기하학에서는 일부 합성 기하학에서 그러하듯이 다른 공선성 결정 방법이 필요하다.

선종류

어떤 의미에서 [13]유클리드 기하학의 모든 선은 동일하며, 그 점에서 좌표가 없으면 서로 구별할 수 없다.단, 선은 기하학의 다른 물체와 관련하여 특별한 역할을 할 수 있으며, 그 관계에 따라 유형으로 나뉜다.예를 들어 원뿔(, 타원, 포물선 또는 하이퍼볼라)과 관련하여 선은 다음과 같을 수 있다.

  • 단일 지점에서 원뿔을 접촉하는 접선선
  • 두 지점에서 원뿔을 교차하고 원뿔의 내부를 통과하는 이차선
  • 유클리드 평면의 어떤 지점에서 원뿔체를 충족하지 않는 외부 라인, 또는
  • 점으로부터의 거리가 점이 원뿔에 있는지 여부를 확인하는 데 도움이 되는 다이렉트릭스

유클리드 기하학에서 평행성을 결정하는 맥락에서 횡단(transversal)은 서로 평행할 수도 있고 아닐 수도 있는 다른 두 선을 교차하는 선이다.

더 일반적인 대수 곡선의 경우 선은 다음과 같을 수 있다.

  • i-secant 선, 다중성 없이 카운트된 i 포인트의 곡선을 만족하는 선 또는
  • 곡선이 만지지 않고 임의로 가까이 접근하는 점근법

삼각형 관련:

거의 두 개의 평행한 면이 있는 볼록한 사각형의 경우, 뉴턴 선은 대각선의 중간점을 연결하는 선이다.

원뿔에 정점이 있는 육각형에는 파스칼 선이 있고, 원뿔이 한 쌍의 선인 특별한 경우에는 파푸스 선이 있다.

평행선은 절대 교차하지 않는 동일한 평면에 있는 선이다.교차하는 선들은 하나의 공통점을 공유한다.우연의 일치 선은 서로 일치한다. 두 선 중 하나에 있는 모든 점 역시 서로 일치한다.

수직선직각으로 교차하는 선이다.

3차원 공간에서 꼬치선은 같은 평면에 있지 않아 서로 교차하지 않는 선이다.

투영 기하학에서

투영 기하학의 많은 모델에서 선의 표현은 유클리드 기하학에서 시각화되기 때문에 "직선 곡선"의 개념에 거의 부합하지 않는다.타원형 기하학에서 우리는 이것의 전형적인 예를 본다.[14]타원형 기하학의 구면 표현에서 선은 정반대의 점이 식별된 구의 큰 으로 표현된다.타원 기하학의 다른 모델에서 선은 원점을 통과하는 유클리드 평면으로 표현된다.이러한 표현은 시각적으로 구별되지만, 이 기하학에서 선에 적합한 표현으로 만드는 모든 특성(예: 고유한 선을 결정하는 두 점)을 만족시킨다.

확장

레이

선과 그 위에 A가 있는 점을 고려하면, 우리는 A가 이 선을 두 부분으로 분해하는 것으로 간주할 수 있다.그런 부분을 각각 광선이라고 하고 A점초점이라고 한다.1차원 반공간하프라인으로도 알려져 있다.A 지점은 광선의 일원으로 간주된다.[15]직감적으로, 레이는 A를 통과하고 A에서 시작하여 선을 따라 한 방향으로만 무한정 진행되는 선상의 그러한 점들로 구성된다.그러나 이러한 광선 개념을 증명서에 사용하기 위해서는 보다 정밀한 정의가 필요하다.

구별되는 A와 B를 지정하면 초기 점 A로 고유한 광선을 결정한다.두 점이 고유한 선을 정의함에 따라 이 광선은 A와 B 사이의 모든 점(A와 B 포함)과 AB를 통과하는 선상의 모든 C로 구성되어 BA와 C 사이에 있게 된다.[16]이것은 때로는 AB와 C 사이에 있지 않도록 A와 B가 결정한 라인에 있는 모든 포인트 C의 집합으로 표현되기도 한다.[17] DA와 B에 의해 결정되지만 초기A가 B에 의해 결정되는 선에서, 초기 점 A에 의해 초기 점 A가 결정되는 또 다른 선은 A에 의해 결정된다.AB 레이와 관련하여 AD 레이는 반대 레이라고 불린다.

Ray

따라서 우리는 A와 B라는 두 개의 다른 점들이 이 선을 하나의 선과 분해하여 열린 세그먼트(A, B)와 두 개의 선인 BCAD분리 결합으로 정의한다고 말할 것이다(점 D는 도표에서 그리는 것이 아니라 선 AB에서 A의 왼쪽에 있다.이것들은 초기 지점이 다르기 때문에 반대 광선이 아니다.

유클리드 기하학에서 공통 끝점을 가진 두 개의 광선이 각도를 형성한다.

광선의 정의는 선상의 점에 대한 중간성의 개념에 따라 달라진다.광선은 일반적으로 유클리드 기하학이나 순서가 정해진 분야 에 부착된 기하학 등 이 개념이 존재하는 기하학에만 존재한다는 것을 따른다.반면에, 광선은 복잡한 수나 어떤 한정된 장과 같이 비순서가 없는 장에 걸친 투영 기하학이나 기하학에는 존재하지 않는다.

라인 세그먼트

선 세그먼트는 두 개의 구별되는 끝점으로 경계되는 선의 일부분이며, 끝점 사이의 선의 모든 점을 포함한다.선 세그먼트를 정의하는 방법에 따라 두 끝점 중 하나가 선 세그먼트의 일부가 될 수도 있고 아닐 수도 있다.두 개 이상의 선 세그먼트는 평행, 교차 또는 기울임과 같은 선과 같은 관계를 가질 수 있지만 선과 달리 선은 동일 평면이며 교차하지 않거나 일직선인 경우 이러한 관계가 아닐 수 있다.

지리학

선의 "짧음"과 "직선"은 두 점 사이의 선을 따라 가는 거리를 최소화하는 속성으로 해석되며(삼각형 불평등 참조), 일반화할 수 있고 미터법 공간지오데틱스 개념으로 해석된다.

참고 항목

메모들

  1. ^ Weisstein, Eric W. "Line". mathworld.wolfram.com. Retrieved 2020-08-16.
  2. ^ (좀 오래 되)프랑스어:"라 리뉴. 라 première espece 드 quantité,tant seulementune 차원 laquelle 아sçavoir 경도, sansaucune 위도 ni profondité,&n'est autre을 선택했다 께는 올바른 사람 속 해석 coulement(poinct,lequel[...]laissera 아들 무브망 imaginaire quelque 흔적 드 앙,toute 위도 드 면제된다.[...]라 리뉴 droicte.동부 표준시셀레조이 에스트 에스테게일 에스테젠듀에 스시스 괄약근을 넣는다."Pages 7 and 8 of Les quinze livres des éléments géométriques d'Euclide Megarien, traduits de Grec en François, & augmentez de plusieurs figures & demonstrations, avec la corrections des erreurs commises és autres traductions, by Pierre Mardele, Lyon, MDCXLV (1645).
  3. ^ Coxeter 1969, 페이지 4
  4. ^ 파버 1983, 페이지 95
  5. ^ 파버 1983, 페이지 95
  6. ^ 파버, 부록 A, 291페이지.
  7. ^ 파버, 제3부 95쪽
  8. ^ 파버, 제3부, 페이지 108.
  9. ^ 파버, 부록 B, 페이지 300.
  10. ^ Bôcher, Maxime (1915), Plane Analytic Geometry: With Introductory Chapters on the Differential Calculus, H. Holt, p. 44, archived from the original on 2016-05-13.
  11. ^ 알레산드로 파도아, 운누보 시스테메 드 데 피니멘스 붓 라 게오메트리 유클리드엔, 국제수학자대회, 1900년
  12. ^ 베르트랑 러셀, 수학 원리, 페이지 410
  13. ^ 기술적으로, 콜라인먼트 그룹은 일련의 라인에서 전환적으로 행동한다.
  14. ^ 파버, 제3부, 페이지 108.
  15. ^ 때때로 우리는 첫 번째 요점이 없는 광선을 고려할 수 있다.그러한 광선은 닫힌다고 하는 일반적인 광선과 대조적으로 열린 광선이라고 불린다.
  16. ^ Willie Jr. 1964, 페이지 59, 정의 3
  17. ^ 페도 1988, 페이지 2

참조

외부 링크