단, 분모 가 0이 아니어야 한다. 특히, 분모가 1일 수 있으므로 모든 정수 는 유리수이다. 유리수체의 기호는 Q {\displaystyle \mathbb {Q} } 이며, 몫 을 뜻하는 영어 quotient에서 따왔다.
정의
유리수체 Q {\displaystyle \mathbb {Q} } 는 정수환 Z {\displaystyle \mathbb {Z} } 의 분수체 이다. 이는 다음과 같은 집합으로 생각할 수 있다.
Q = { m n : m , n ∈ Z , n ≠ 0 } {\displaystyle \mathbb {Q} =\left\{{\frac {m}{n}}\colon m,n\in \mathbb {Z} ,\;n\neq 0\right\}} 추상적 정의 엄밀히 말해, 유리수체 Q {\displaystyle \mathbb {Q} } 는 다음과 같은 공리를 만족시키는 (동형 아래 유일한) 체 이다.
Q {\displaystyle \mathbb {Q} } 의 표수 는 0이다. 만약 환 R {\displaystyle R} 의 표수가 0이라면, 유일한 환 준동형 Q → R {\displaystyle \mathbb {Q} \to R} 이 존재한다. 구체적 정의 유리수체 Q {\displaystyle \mathbb {Q} } 는 구체적으로 다음과 같이 구성할 수 있다. 집합 Z × ( Z ∖ { 0 } ) {\displaystyle \mathbb {Z} \times (\mathbb {Z} \setminus \{0\})} 위에 다음과 같은 동치 관계 ∼ {\displaystyle \sim } 를 줄 수 있다.
( m , n ) ∼ ( m ′ , n ′ ) ⟺ m n ′ = n m ′ ( m , n , m ′ , n ′ ∈ Z , n , n ′ ≠ 0 ) {\displaystyle (m,n)\sim (m',n')\iff mn'=nm'\qquad (m,n,m',n'\in \mathbb {Z} ,\;n,n'\neq 0)} 유리수체 Q {\displaystyle \mathbb {Q} } 는 집합으로서 몫집합 ( Z × ( Z ∖ { 0 } ) ) / ∼ {\displaystyle (\mathbb {Z} \times (\mathbb {Z} \setminus \{0\}))/{\sim }} 이며, 그 위의 덧셈과 곱셈은 다음과 같다.
[ ( m , n ) ] ∼ + [ ( m ′ , n ′ ) ] ∼ = [ ( m n ′ + n m ′ , n n ′ ) ] ∼ {\displaystyle [(m,n)]_{\sim }+[(m',n')]_{\sim }=[(mn'+nm',nn')]_{\sim }} [ ( m , n ) ] ∼ ⋅ [ ( m ′ , n ′ ) ] ∼ = [ ( m m ′ , n n ′ ) ] ∼ {\displaystyle [(m,n)]_{\sim }\cdot [(m',n')]_{\sim }=[(mm',nn')]_{\sim }} 체가 만족시켜야 하는 조건인 각종 연산 법칙과 덧셈 항등원 [ ( 0 , 1 ) ] ∼ {\displaystyle [(0,1)]_{\sim }} 및 각 유리수 [ ( m , n ) ] ∼ {\displaystyle [(m,n)]_{\sim }} 의 덧셈 역원 [ ( − m , n ) ] ∼ {\displaystyle [(-m,n)]_{\sim }} 및 곱셈 항등원 [ ( 1 , 1 ) ] ∼ {\displaystyle [(1,1)]_{\sim }} 및 0이 아닌 각 유리수 [ ( m , n ) ] ∼ ≠ [ ( 0 , 0 ) ] ∼ {\displaystyle [(m,n)]_{\sim }\neq [(0,0)]_{\sim }} 의 곱셈 역원 [ ( n , m ) ] ∼ {\displaystyle [(n,m)]_{\sim }} 의 존재가 성립하므로, 이는 체를 이룬다. 정수환과 유리수체 사이의 표준적인 단사 환 준동형 은 다음과 같다.
Z ↪ Q {\displaystyle \mathbb {Z} \hookrightarrow \mathbb {Q} } n ↦ [ ( n , 1 ) ] ∼ {\displaystyle n\mapsto [(n,1)]_{\sim }} 각 유리수 [ ( m , n ) ] ∼ {\displaystyle [(m,n)]_{\sim }} 를 분수 꼴 m n {\displaystyle {\frac {m}{n}}} 으로 나타내면, 유리수를 마치 두 정수의 비율인 것처럼 다룰 수 있다.
표현
분수 표현 유리수는 두 정수의 비율이므로, 나눗셈 기호와 의미가 같은 분수 기호를 통해 나타낼 수 있다. 예를 들어, 1과 3의 비를 분수로 나타내면 1 / 3 이다. 분자와 분모를 동시에 그 공약수 로 나누어 원래와 값이 같지만 꼴이 더 단순한 분수를 얻는 과정을 약분 이라고 한다. 분자와 분모가 서로소 이어서 더 이상 약분할 수 없는 분 12 / 18 을 최대 공약수 6으로 나눠 약분하면 기약 분수 2 / 3 을 얻는다. 분자가 분모보다 작은 분수를 진분수 , 작지 않은 분수를 가분수 라고 한다. 가분수는 정수와 진분수의 합으로 표현한 것을 대분수 라고 한다. 예를 들어, 11 / 9 의 대분수 표현은 12 / 9 이다.
무리수 는 두 정수의 비율로 나타낼 수 없으므로 분수 표현이 불가능하다.
십진법 표현 유리수의 진법 전개는 유한 소수 이거나 순환 소수 이다. 십진법 전개가 가장 흔하며, 그 예는 다음과 같다.
7 5 = 1.4 {\displaystyle {\frac {7}{5}}=1.4} 1 3 = 0. 3 ˙ = 0.333 ⋯ {\displaystyle {\frac {1}{3}}=0.{\dot {3}}=0.333\cdots } 1 6 = 0.1 6 ˙ = 0.1666 ⋯ {\displaystyle {\frac {1}{6}}=0.1{\dot {6}}=0.1666\cdots } 1 7 = 0. 1 ˙ 4285 7 ˙ = 0.142857142857 ⋯ {\displaystyle {\frac {1}{7}}=0.{\dot {1}}4285{\dot {7}}=0.142857142857\cdots } 1 9 = 0. 1 ˙ = 0.111 ⋯ {\displaystyle {\frac {1}{9}}=0.{\dot {1}}=0.111\cdots } 1 11 = 0. 0 ˙ 9 ˙ = 0.090909 ⋯ {\displaystyle {\frac {1}{11}}=0.{\dot {0}}{\dot {9}}=0.090909\cdots } 1 12 = 0.08 3 ˙ = 0.083333 ⋯ {\displaystyle {\frac {1}{12}}=0.08{\dot {3}}=0.083333\cdots } 분수를 소수로 전환하려면 나머지 있는 나눗셈 을 통해 순환 마디를 구하면 된다. 유한 소수나 순환 소수를 분수로 전환하려면 1 / 10 = 0.1, 1 / 100 = 0.01, 1 / 1000 = 0.001 및 1 / 9 = 0.111..., 1 / 99 = 0.010101..., 1 / 999 = 0.001001001... 따위를 이용하면 된다.
반면 무리수의 진법 전개는 비순환 소수 이다.
연분수 표현 유리수는 유한 연분수 표현이 가능하다. 예를 들어, 다음과 같다.
11 9 = [ 1 ; 4 , 2 ] = 1 + 1 4 + 1 2 {\displaystyle {\frac {11}{9}}=[1;4,2]=1+{\frac {1}{4+{\dfrac {1}{2}}}}} 15 11 = [ 1 ; 2 , 1 , 3 ] = 1 + 1 2 + 1 1 + 1 3 {\displaystyle {\frac {15}{11}}=[1;2,1,3]=1+{\frac {1}{2+{\dfrac {1}{1+{\dfrac {1}{3}}}}}}} 734 367 = [ 2 ; 5 , 3 , 7 , 3 ] = 2 + 1 5 + 1 3 + 1 7 + 1 3 {\displaystyle {\frac {734}{367}}=[2;5,3,7,3]=2+{\frac {1}{5+{\dfrac {1}{3+{\dfrac {1}{7+{\dfrac {1}{3}}}}}}}}} 분수를 연분수로 나타내려면, 분자와 분모에 유클리드 호제법 을 응용하면 된다.
무리수의 경우, 연분수 표현은 항상 무한 연분수이다.
연산
등식과 부등식 두 유리수가 같을 필요충분조건은 다음과 같이 나타낼 수 있다.
a b = c d ⟺ a d = b c ( a , b , c , d ∈ Z , b , d ≠ 0 ) {\displaystyle {\frac {a}{b}}={\frac {c}{d}}\iff ad=bc\qquad (a,b,c,d\in \mathbb {Z} ,\;b,d\neq 0)} 어떤 유리수가 다른 어떤 유리수보다 작을 필요충분조건은 다음과 같이 나타낼 수 있다.
a b < c d ⟺ a d < b c ( a , b , c , d ∈ Z , b , d > 0 ) {\displaystyle {\frac {a}{b}}<{\frac {c}{d}}\iff ad0)} 덧셈과 뺄셈 두 유리수의 덧셈에는 통분 기법이 쓰이며, 이는 다음과 같다.
a b + c d = a d + b c b d {\displaystyle {\frac {a}{b}}+{\frac {c}{d}}={\frac {ad+bc}{bd}}} 유리수의 반수 를 구하는 공식은 다음과 같다.
− a b = − a b {\displaystyle -{\frac {a}{b}}={\frac {-a}{b}}} 두 유리수의 뺄셈은 반수를 더하는 것과 같다.
a b − c d = a b + ( − c d ) = a d − b c b d {\displaystyle {\frac {a}{b}}-{\frac {c}{d}}={\frac {a}{b}}+\left(-{\frac {c}{d}}\right)={\frac {ad-bc}{bd}}} 분모의 최소 공배수 를 공분모로 취하여 통분하면 더 간단히 구할 수 있다.
곱셈과 나눗셈 두 유리수의 곱셈은 다음과 같다.
a b ⋅ c d = a c b d {\displaystyle {\frac {a}{b}}\cdot {\frac {c}{d}}={\frac {ac}{bd}}} 0이 아닌 유리수의 역수 는 다음과 같다.
( a b ) − 1 = b a {\displaystyle \left({\frac {a}{b}}\right)^{-1}={\frac {b}{a}}} 두 유리수의 나눗셈은 역수를 곱하는 것과 같다.
a b ÷ c d = a b ⋅ ( c d ) − 1 = a d b c {\displaystyle {\frac {a}{b}}\div {\frac {c}{d}}={\frac {a}{b}}\cdot \left({\frac {c}{d}}\right)^{-1}={\frac {ad}{bc}}} 성질
같이 보기
외부 링크
This article uses material from the Wikipedia 한국어 article 유리수 , which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0") ; additional terms may apply (view authors ). 별도로 명시하지 않은 경우, 내용은 CC BY-SA 4.0 에 따라 사용할 수 있습니다. Images, videos and audio are available under their respective licenses. ®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki 한국어 (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.