Similar documents
TOPOLOGY-WEEK 6 & 7 KI-HEON YUN 1. Quotient space( 상공간 ) X 가위상공간이고 Y 가집합이며 f : X Y 가전사함수일때, X 의위상을사용하여 Y 에위상을정의할수있는방법은? Definition 1.1. X 가위상공간, f : X

완비거리공간 완비거리공간 Definition 0.1. (X, d) 는거리공간일때 X의점렬 < a n > 이모든 ɛ > 0에대해 n o N such that n, m > n o = d(a n, a m ) < ɛ 을만족하면이점렬을코시열 (Cauchy sequence) 이라

1 1 장. 함수와극한 1.1 함수를표현하는네가지방법 1.2 수학적모형 : 필수함수의목록 1.3 기존함수로부터새로운함수구하기 1.4 접선문제와속도문제 1.5 함수의극한 1.6 극한법칙을이용한극한계산 1.7 극한의엄밀한정의 1.8 연속

3.2 함수의정의 Theorem 6 함수 f : X Y 와 Y W 인집합 W 에대하여 f : X W 는함수이다. Proof. f : X Y 가함수이므로 f X Y 이고, Y W 이므로 f X W 이므로 F0이만족된다. 함수의정의 F1, F2은 f : X Y 가함수이므로

204

작용소의 행렬표현과 그 응용

미분기하학 II-16 복소평면의선형분수변환과쌍곡평면의등장사상 김영욱 (ÑñÁ) 강의양성덕 (zû ) 의강의록 Ø 'x! xxñ 2007 년 김영욱 (ÑñÁ) 강의양성덕 (zû ) 의강의록 (Ø 'x!) 미분기하 II 2007 년 1 / 26

완벽한개념정립 _ 행렬의참, 거짓 수학전문가 NAMU 선생 1. 행렬의참, 거짓개념정리 1. 교환법칙과관련한내용, 는항상성립하지만 는항상성립하지는않는다. < 참인명제 > (1),, (2) ( ) 인경우에는 가성립한다.,,, (3) 다음과같은관계식을만족하는두행렬 A,B에

함수공간 함수공간, 점열린위상 Definition 0.1. X와 Y 는임의의집합이고 F(X, Y ) 를 X에서 Y 로의모든함수족이라하자. 집합 F(X, Y ) 에위상을정의할때이것을함수공간 (function space) 이라한다. F(X, Y ) 는다음과같이적당한적집합과

Chapter 연습문제답안. y *sin-*cos*^ep-*/sqrt. y [ ; sinpi/ ; sin*pi ; ] 혹은 [ sinpi/ sin*pi ]. a ais[- ] b et.,., sin. c.. a A는주어진행렬 M의 번째열만을표시하는새로운행렬을나타낸다.

2005 7

제 5 장복소수함수적분 5 이므로 z = r(cosθ + i sin θ) = re iθ (5.3) 와같이나타낼수도있는데이표현식을복소수의 극형식 (polar form) 이라부른다. 복소함수의미분은실함수미분의정의와같이 d f(z + z) f(z) f(z) = lim z z

소성해석

KAA2005.9/10 Ãâ·Â

KJME-2003-h.hwp

제1장 군 제1절 소개와 예 제2절 이항연산 2.1 보기. 다음은 정수방정식 a + x = b를 푸는 과정이다. (1) 준식에 a를 더하여 ( a) + (a + x) = ( a) + b. (2) 결합법칙을 사용하면 (( a) + a) + x = ( a) + b. (3)

PowerPoint 프레젠테이션

체의원소를계수로가지는다항식환 Theorem 0.1. ( 나눗셈알고리듬 (Division Algorithm)) F 가체일때 F [x] 의두다항식 f(x) = a 0 + a 1 x + + a n x n, a n 0 F 와 g(x) = b 0 + b 1 x + + b m x

1 경영학을 위한 수학 Final Exam 2015/12/12(토) 13:00-15:00 풀이과정을 모두 명시하시오. 정리를 사용할 경우 명시하시오. 1. (각 6점) 다음 적분을 구하시오 Z 1 4 Z 1 (x + 1) dx (a) 1 (x 1)4 dx 1 Solut

Microsoft PowerPoint - 제14장-1.ppt

16중등빨이수학3-2교부(01~23)

2018 년수학임용고시기출풀이 ( 대수학, 해석학, 복소해석, 위상수학, 정수론, 선형대수, 미적분학 ) - 하이어에듀 - 구준모강사 1

<B4EBC7D0BCF6C7D02DBBEFB0A2C7D4BCF62E687770>

슬라이드 1

2019 학년도중등교사임용경쟁시험해설 김동희 2018 년 11 월 27 일

슬라이드 1

01

<B1B9BEEE412E687770>

제 12강 함수수열의 평등수렴

저작자표시 - 비영리 - 변경금지 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할

- A 2 -

저작자표시 - 비영리 - 변경금지 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할

제 3강 역함수의 미분과 로피탈의 정리

함수 좌표평면에서 함수 미적분 Ⅱ 1. 여러가지적분법 삼각함수의부정적분 의도함수가 sin 일때, 의값 은? [3점][2011( 가 ) 10월 / 교육청 4] 지수함수의부정적분 가모든실수에서연속일때, 도함수 가 > 이다. 일때, 의

LTUR Q X 01 LTUR LTUR K 6 5, 6, 6, 7, 8, 9, 9, 9, 10, b= =: :=8.5 a+b= cm , = =: 7 := a+b+c 0 =1 a+b+

사용자 설명서 SERVO DRIVE (FARA-CSD,CSDP-XX)

<B0F8BDC4C1A4B8AE2838C2F720BCF6C7D032292E687770>

2014 학년도수학성취도측정시험 (2014 학년도정시모집합격자대상 ) 2014 년 2 월 17 일, 고사시간 90 분 1번부터 11번까지는단답형이고, 12번부터 16번까지는서술형입니다. 답안지는깨끗한글씨로바르게작성하되, 단답형은답만쓰고, 서술형은풀이과정과답을명시하시오.

슬라이드 1

Chapter 5

Artificial Intelligence: Assignment 3 Seung-Hoon Na November 30, Sarsa와 Q-learning Windy Gridworld Windy gridworld는 (Sutton 교재 연습문제 6.5) 다음

2002 Game White paper 2002 Game White paper

수리 영역 가 형 5. 다음 그림과 같이 크기가 같은 정육면체 개가 한 모서리씩을 공유하 면서 각 면이 평행 또는 수직 관계를 유지한 채로 한 평면 위에 놓여있 다. 그림의 세 꼭짓점 A, B, C에 대한 두 벡터 BA 와 BC 가 이루는 각 의 크기를 h라 할 때,

슬라이드 1

1 1 x + # 0 x - 6 x 0 # x # 2r sin2x- sin x = 4cos x r 3 r 2r 5 r 3r

PowerPoint 프레젠테이션


제 2 교시 2019 학년도 3 월고 1 전국연합학력평가문제지수학영역 1 5 지선다형 1. 의값은? [2점] 일차방정식 의해는? [2 점 ] 두수, 의최대공약수는? [2 점 ] 일차함수 의그래프에서

0 cm (++x)=0 x= R QR Q =R =Q = cm =Q =-=(cm) =R =x cm (x+) = +(x+) x= x= (cm) =+=0 (cm) =+=8 (cm) + =0+_8= (cm) cm + = + = _= (cm) 7+x= x= +y= y=8,, Q

DDS


A C O N T E N T S A-132

1 n dn dt = f v = 4 π m 2kT 3/ 2 v 2 mv exp 2kT 2 f v dfv = 0 v = 0, v = /// fv = max = 0 dv 2kT v p = m 1/ 2 vfvdv 0 2 2kT = = vav = v f dv π m

~131.

5. 두함수 log 에대하여옳은것을 < 보기 > 에서모두고르면?5 ) ㄱ. ㄴ. ㄷ. < 보기 > 1 ㄴ 2 ㄷ 3 ㄱ, ㄴ 4 ㄴ, ㄷ 5 ㄱ, ㄴ, ㄷ 7. 인실수 에대하여 log 의지표를 이라할때, 옳 은것을보기에서모두고르면? ( 단, 는 를넘지않는최대의정수이다.

<4D F736F F F696E74202D2035BBF3C6F2C7FC5FBCF8BCF6B9B0C1FA2E BC8A3C8AF20B8F0B5E55D>


(001~042)개념RPM3-2(정답)

Chapter4.hwp

= ``...(2011), , (.)''

(Transer Function) X(w) Y(w) H(w) Y(w) X(w) H ( w) φ H(w) H(w) X(w) Y(w). Vo ( w) H v ( w) V ( w) I o( w) H i ( w) I ( w) V ( w) H z ( w) I ( w) I ( w

fx-82EX_fx-85EX_fx-350EX

Vector Differential: 벡터 미분 Yonghee Lee October 17, 벡터미분의 표기 스칼라미분 벡터미분(Vector diffrential) 또는 행렬미분(Matrix differential)은 벡터와 행렬의 미분식에 대 한 표

09 ½ÅÇù3¿ùb63»ÁöÃÖÁ¾FFš

슬라이드 1

<BAF9C7D8BFEEC7D7BCB1B9DA20C1F6C4A728B1B9B9AE292E687770>

STATICS Page: 7-1 Tel: (02) Fax: (02) Instructor: Nam-Hoi, Park Date: / / Ch.7 트러스 (Truss) * 트러스의분류 트러스 ( 차원 ): 1. 평면트러스 (planar tru

수학교육전공 ( 英文 : Major of Mathematics Education) 교육목표 1. 수학교과교육영역의최신이론과방법적원리의교수-학습을통한현장교사들의교과교육전문성신장 2. 수학교과교육과인성교육을통합적으로수행할수있는유능하고창의적인수학교과교육담당교사양성 3. 교육

untitled

증권3월b72릴藪?

SERVO DRIVE (FARA CSDJ-XX) 사용자 설명서

Introduction Capillarity( ) (flow ceased) Capillary effect ( ) surface and colloid science, coalescence process,

PSFZWLOTGJYU.hwp

슬라이드 1

스무살, 마음껏날아오르기위해, 일년만꾹참자! 2014학년도대학수학능력시험 9월모의평가 18번두이차정사각행렬 가 를만족시킬때, 옳은것만을 < 보기 > 에서있는대로고른것은? ( 단, 는단위행렬이다.) [4점] < 보기 > ㄱ. ㄴ. ㄷ. 2013학년도대학수학능력시험 16번

14.091~100(328-하천방재).fm

구로구민체육센터 여성전용 기구필라테스 강좌 신설 구로구시설관리공단은 신도림생활체육관에서 2014년도부터 시행하여 주민의 큰 호응을 얻고있는 기구필라 테스 강좌를 일자로 구로구민체육센터에 확대 시행하게 되었습니다. 구로구 관내 고객들의 니즈를 반영한 기

S P ΩR U w = b SP Ω Rw Ub

PDF

슬라이드 1

13-darkenergy


2

6.6) 7.7) tan 8.8) 자연수 10.10) 부등식 두 의전개식에서 의계수는? ) 사건 에대하여 P P 일때, P 의값은? ( 단, 은 의여사건이다.) 일때, tan 의값은? log log 을만족시키

선형대수

(Microsoft PowerPoint - Ch17_NumAnalysis.ppt [\310\243\310\257 \270\360\265\345])

fx-570EX_fx991EX

歯TC프로그래밍매뉴얼

중등수학2팀-지도서7


공휴일 전력 수요에 관한 산업별 분석

비선형으로의 확장

(Microsoft PowerPoint - Ch21_NumAnalysis.ppt [\310\243\310\257 \270\360\265\345])

Microsoft Word - Ch3_Derivative2.docx


서보교육자료배포용.ppt

Microsoft PowerPoint - solid_Ch 5(1)(노트).ppt

2018년 수학성취도 측정시험 모범답안/채점기준/채점소감 (2018학년도 수시모집, 정시모집 및 외국인특별전형 합격자 대상) 2018년 2월 13일, 고사시간 90분 2018년 1번 x3 + x2 + x 3 = x 1 x2 1 lim. [풀이] x3 + x2 + x 3

2: [9] 3 3: [9] 4 3 1, 3 (Seifert Surfaces) 3

Transcription:

넣기문제와실현문제에대하여 박대희 전남대학교 제 5 회무등수학강연회 2012 년 3 월 30 일 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 1 / 30

강의순서 1 유클리드공간에넣기 2 근사 (approximation) 와실현 (realization) 3 준대수적변환군론 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 2 / 30

강의순서 1 유클리드공간에넣기 2 근사 (approximation) 와실현 (realization) 3 준대수적변환군론 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 2 / 30

강의순서 1 유클리드공간에넣기 2 근사 (approximation) 와실현 (realization) 3 준대수적변환군론 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 2 / 30

강의순서 1 유클리드공간에넣기 2 근사 (approximation) 와실현 (realization) 3 준대수적변환군론 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 3 / 30

곡선이란무엇인가? 곡선 정의곡선은연속사상 f : I = [a, b] R n 로정의한다. C = f (I) 나선 f : R R 3, f (t) = (a cos t, a sin t, bt) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 4 / 30

곡선이란무엇인가? 곡선 정의곡선은연속사상 f : I = [a, b] R n 로정의한다. C = f (I) 나선 f : R R 3, f (t) = (a cos t, a sin t, bt) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 4 / 30

곡선이란무엇인가? 곡선 정의곡선은연속사상 f : I = [a, b] R n 로정의한다. C = f (I) 나선 f : R R 3, f (t) = (a cos t, a sin t, bt) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 4 / 30

곡선이란무엇인가? 곡선 정의곡선은연속사상 f : I = [a, b] R n 로정의한다. C = f (I) 나선 f : R R 3, f (t) = (a cos t, a sin t, bt) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 4 / 30

곡선이란무엇인가? 곡선 정의곡선은연속사상 f : I = [a, b] R n 로정의한다. C = f (I) 나선 f : R R 3, f (t) = (a cos t, a sin t, bt) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 4 / 30

곡선이란무엇인가? 곡선 정의곡선은연속사상 f : I = [a, b] R n 로정의한다. C = f (I) 나선 f : R R 3, f (t) = (a cos t, a sin t, bt) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 4 / 30

원과원판 원 S 1 = {(x, y) R 2 x 2 + y 2 = 1} 연속사상 f : [0, 1] R 2, f (t) = (cos 2πt, sin 2πt) S 1 = f (I), f [0,1) 는단사 원판 D = {(x, y) R 2 x 2 + y 2 1} f : I 2 = [0, 1] [0, 1] R 2, f (θ, r) = (r cos 2πθ, r sin 2πθ) D = f (I 2 ) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 5 / 30

원과원판 원 S 1 = {(x, y) R 2 x 2 + y 2 = 1} 연속사상 f : [0, 1] R 2, f (t) = (cos 2πt, sin 2πt) S 1 = f (I), f [0,1) 는단사 원판 D = {(x, y) R 2 x 2 + y 2 1} f : I 2 = [0, 1] [0, 1] R 2, f (θ, r) = (r cos 2πθ, r sin 2πθ) D = f (I 2 ) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 5 / 30

원과원판 원 S 1 = {(x, y) R 2 x 2 + y 2 = 1} 연속사상 f : [0, 1] R 2, f (t) = (cos 2πt, sin 2πt) S 1 = f (I), f [0,1) 는단사 원판 D = {(x, y) R 2 x 2 + y 2 1} f : I 2 = [0, 1] [0, 1] R 2, f (θ, r) = (r cos 2πθ, r sin 2πθ) D = f (I 2 ) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 5 / 30

원과원판 원 S 1 = {(x, y) R 2 x 2 + y 2 = 1} 연속사상 f : [0, 1] R 2, f (t) = (cos 2πt, sin 2πt) S 1 = f (I), f [0,1) 는단사 원판 D = {(x, y) R 2 x 2 + y 2 1} f : I 2 = [0, 1] [0, 1] R 2, f (θ, r) = (r cos 2πθ, r sin 2πθ) D = f (I 2 ) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 5 / 30

원과원판 원 S 1 = {(x, y) R 2 x 2 + y 2 = 1} 연속사상 f : [0, 1] R 2, f (t) = (cos 2πt, sin 2πt) S 1 = f (I), f [0,1) 는단사 원판 D = {(x, y) R 2 x 2 + y 2 1} f : I 2 = [0, 1] [0, 1] R 2, f (θ, r) = (r cos 2πθ, r sin 2πθ) D = f (I 2 ) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 5 / 30

원과원판 원 S 1 = {(x, y) R 2 x 2 + y 2 = 1} 연속사상 f : [0, 1] R 2, f (t) = (cos 2πt, sin 2πt) S 1 = f (I), f [0,1) 는단사원판 D = {(x, y) R 2 x 2 + y 2 1} f : I 2 = [0, 1] [0, 1] R 2, f (θ, r) = (r cos 2πθ, r sin 2πθ) D = f (I 2 ) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 5 / 30

원과원판 원 S 1 = {(x, y) R 2 x 2 + y 2 = 1} 연속사상 f : [0, 1] R 2, f (t) = (cos 2πt, sin 2πt) S 1 = f (I), f [0,1) 는단사원판 D = {(x, y) R 2 x 2 + y 2 1} f : I 2 = [0, 1] [0, 1] R 2, f (θ, r) = (r cos 2πθ, r sin 2πθ) D = f (I 2 ) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 5 / 30

원통 원통 C = S 1 I = {(x, y, z) R 3 x 2 + y 2 = 1, 0 z 1} 연속사상 f : I 2 R 3, f (s, t) = (cos 2πs, sin 2πs, t) C = S 1 I = f (I 2 ) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 6 / 30

원통 원통 C = S 1 I = {(x, y, z) R 3 x 2 + y 2 = 1, 0 z 1} 연속사상 f : I 2 R 3, f (s, t) = (cos 2πs, sin 2πs, t) C = S 1 I = f (I 2 ) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 6 / 30

원통 원통 C = S 1 I = {(x, y, z) R 3 x 2 + y 2 = 1, 0 z 1} 연속사상 f : I 2 R 3, f (s, t) = (cos 2πs, sin 2πs, t) C = S 1 I = f (I 2 ) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 6 / 30

Möbius strip 뫼비우스띠 M f : [0, 2π] [ 1, 1] R 3, f (u, v) = ((1 + 1 2 v cos 1 2 u) cos u, (1 + 1 2 v cos 1 2 u) sin u, 1 2 sin 1 2 u) f (I 2 ) = M R 3 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 7 / 30

Möbius strip 뫼비우스띠 M f : [0, 2π] [ 1, 1] R 3, f (u, v) = ((1 + 1 2 v cos 1 2 u) cos u, (1 + 1 2 v cos 1 2 u) sin u, 1 2 sin 1 2 u) f (I 2 ) = M R 3 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 7 / 30

Möbius strip 뫼비우스띠 M f : [0, 2π] [ 1, 1] R 3, f (u, v) = ((1 + 1 2 v cos 1 2 u) cos u, (1 + 1 2 v cos 1 2 u) sin u, 1 2 sin 1 2 u) f (I 2 ) = M R 3 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 7 / 30

Möbius strip 뫼비우스띠 M f : [0, 2π] [ 1, 1] R 3, f (u, v) = ((1 + 1 2 v cos 1 2 u) cos u, (1 + 1 2 v cos 1 2 u) sin u, 1 2 sin 1 2 u) f (I 2 ) = M R 3 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 7 / 30

Klein bottle 클라인병 K 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 8 / 30

Klein bottle 클라인병 K 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 8 / 30

Klein bottle 클라인병 K f : [0, 2π] [0, 2π] R 4, f (u, v) = ((2 + cos v) cos u, (2 + cos v) sin u, sin v cos u, sin v sin u) f ([0, 2π] 2 ) = K R 4 [0, 2π] 2 π [0, 2π] 2 / f R 4 f 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 9 / 30

Klein bottle 클라인병 K f : [0, 2π] [0, 2π] R 4, f (u, v) = ((2 + cos v) cos u, (2 + cos v) sin u, sin v cos u, sin v sin u) f ([0, 2π] 2 ) = K R 4 [0, 2π] 2 π [0, 2π] 2 / f R 4 f 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 9 / 30

Klein bottle 클라인병 K f : [0, 2π] [0, 2π] R 4, f (u, v) = ((2 + cos v) cos u, (2 + cos v) sin u, sin v cos u, sin v sin u) f ([0, 2π] 2 ) = K R 4 [0, 2π] 2 π [0, 2π] 2 / f R 4 f 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 9 / 30

Klein bottle 클라인병 K f : [0, 2π] [0, 2π] R 4, f (u, v) = ((2 + cos v) cos u, (2 + cos v) sin u, sin v cos u, sin v sin u) f ([0, 2π] 2 ) = K R 4 [0, 2π] 2 π [0, 2π] 2 / f R 4 f 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 9 / 30

Embedding theorem of manifolds 정의사상 f : X Y 가넣기사상 (embedding) 이란 f 는단사인연속사상이고 f 1 : f (X) X도연속사상정리 (Hassler Whitney, 1936) 모든 ( 매끄러운 ) n-차원다양체는 R 2n+1 ( 매끄럽게 ) 넣을수있다. 주어진 n- 차원다양체 M 에대해넣기사상 f : M R 2n+1 이존재한다. M = f (M) R 2n+1. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 10 / 30

Embedding theorem of manifolds 정의사상 f : X Y 가넣기사상 (embedding) 이란 f 는단사인연속사상이고 f 1 : f (X) X도연속사상정리 (Hassler Whitney, 1936) 모든 ( 매끄러운 ) n-차원다양체는 R 2n+1 ( 매끄럽게 ) 넣을수있다. 주어진 n- 차원다양체 M 에대해넣기사상 f : M R 2n+1 이존재한다. M = f (M) R 2n+1. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 10 / 30

Embedding theorem of manifolds 정의사상 f : X Y 가넣기사상 (embedding) 이란 f 는단사인연속사상이고 f 1 : f (X) X도연속사상정리 (Hassler Whitney, 1936) 모든 ( 매끄러운 ) n-차원다양체는 R 2n+1 ( 매끄럽게 ) 넣을수있다. 주어진 n- 차원다양체 M 에대해넣기사상 f : M R 2n+1 이존재한다. M = f (M) R 2n+1. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 10 / 30

Embedding theorem of manifolds 정의사상 f : X Y 가넣기사상 (embedding) 이란 f 는단사인연속사상이고 f 1 : f (X) X도연속사상정리 (Hassler Whitney, 1936) 모든 ( 매끄러운 ) n-차원다양체는 R 2n+1 ( 매끄럽게 ) 넣을수있다. 주어진 n- 차원다양체 M 에대해넣기사상 f : M R 2n+1 이존재한다. M = f (M) R 2n+1. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 10 / 30

Embedding theorem of manifolds 정의사상 f : X Y 가넣기사상 (embedding) 이란 f 는단사인연속사상이고 f 1 : f (X) X도연속사상정리 (Hassler Whitney, 1936) 모든 ( 매끄러운 ) n-차원다양체는 R 2n+1 ( 매끄럽게 ) 넣을수있다. 주어진 n- 차원다양체 M 에대해넣기사상 f : M R 2n+1 이존재한다. M = f (M) R 2n+1. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 10 / 30

강의순서 1 유클리드공간에넣기 2 근사 (approximation) 와실현 (realization) 3 준대수적변환군론 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 11 / 30

단순사상 (simplicial map) simplex simplicial complex 정의 단순복합체 (simplicial complex) 란단순체들의모임 ( 합집합?) 이다. ( 단, 두 simplex 의교집합은 simplex 가되어야한다.) 두단순복합체 K 와 L 사이의사상 f : K L 가단순사상 (simplicial map) 이란 f 는연속 f : vertex vertex, simplex simplex 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 12 / 30

단순사상 (simplicial map) simplex simplicial complex 정의 단순복합체 (simplicial complex) 란단순체들의모임 ( 합집합?) 이다. ( 단, 두 simplex 의교집합은 simplex 가되어야한다.) 두단순복합체 K 와 L 사이의사상 f : K L 가단순사상 (simplicial map) 이란 f 는연속 f : vertex vertex, simplex simplex 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 12 / 30

단순사상 (simplicial map) simplex simplicial complex 정의 단순복합체 (simplicial complex) 란단순체들의모임 ( 합집합?) 이다. ( 단, 두 simplex 의교집합은 simplex 가되어야한다.) 두단순복합체 K 와 L 사이의사상 f : K L 가단순사상 (simplicial map) 이란 f 는연속 f : vertex vertex, simplex simplex 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 12 / 30

단순근사 정리 (L. Brouwer) K, L 이단순복합체라하자. 만약 K 가유한단순복합체이면연속사상 f : K L 은단순사상으로원하는만큼근사시킬수있다. 정리 (J. Alexander, 1926) K, L 이단순복합체이라하자. 모든연속사상 f : K L 에대해 f 와 homotopic 한단순사상 g : K L 이존재한다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 13 / 30

단순근사 정리 (L. Brouwer) K, L 이단순복합체라하자. 만약 K 가유한단순복합체이면연속사상 f : K L 은단순사상으로원하는만큼근사시킬수있다. 정리 (J. Alexander, 1926) K, L 이단순복합체이라하자. 모든연속사상 f : K L 에대해 f 와 homotopic 한단순사상 g : K L 이존재한다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 13 / 30

단순근사 정리 (L. Brouwer) K, L 이단순복합체라하자. 만약 K 가유한단순복합체이면연속사상 f : K L 은단순사상으로원하는만큼근사시킬수있다. 정리 (J. Alexander, 1926) K, L 이단순복합체이라하자. 모든연속사상 f : K L 에대해 f 와 homotopic 한단순사상 g : K L 이존재한다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 13 / 30

단순근사 정리 (L. Brouwer) K, L 이단순복합체라하자. 만약 K 가유한단순복합체이면연속사상 f : K L 은단순사상으로원하는만큼근사시킬수있다. 정리 (J. Alexander, 1926) K, L 이단순복합체이라하자. 모든연속사상 f : K L 에대해 f 와 homotopic 한단순사상 g : K L 이존재한다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 13 / 30

단순실현 정의 f : X Y 가위상동형사상이란 정의 f 는전단사연속 f 1 : Y X 도연속 M 이 n- 차원다양체란각점의근방이 B = {(x 1,..., x n ) R n x 2 1 + + x n < 1} 또는 H = {(x 1, x 2,..., x n ) R n x 1 0} 형태임을의미한다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 14 / 30

단순실현 정의 f : X Y 가위상동형사상이란 정의 f 는전단사연속 f 1 : Y X 도연속 M 이 n- 차원다양체란각점의근방이 B = {(x 1,..., x n ) R n x 2 1 + + x n < 1} 또는 H = {(x 1, x 2,..., x n ) R n x 1 0} 형태임을의미한다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 14 / 30

단순실현 정의 f : X Y 가위상동형사상이란 정의 f 는전단사연속 f 1 : Y X 도연속 M 이 n- 차원다양체란각점의근방이 B = {(x 1,..., x n ) R n x 2 1 + + x n < 1} 또는 H = {(x 1, x 2,..., x n ) R n x 1 0} 형태임을의미한다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 14 / 30

단순실현 정의 f : X Y 가위상동형사상이란 정의 f 는전단사연속 f 1 : Y X 도연속 M 이 n- 차원다양체란각점의근방이 B = {(x 1,..., x n ) R n x 2 1 + + x n < 1} 또는 H = {(x 1, x 2,..., x n ) R n x 1 0} 형태임을의미한다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 14 / 30

단순실현 정의 f : X Y 가위상동형사상이란 정의 f 는전단사연속 f 1 : Y X 도연속 M 이 n- 차원다양체란각점의근방이 B = {(x 1,..., x n ) R n x 2 1 + + x n < 1} 또는 H = {(x 1, x 2,..., x n ) R n x 1 0} 형태임을의미한다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 14 / 30

단순실현 정리 모든 1, 2, 3 차원다양체는삼각분할이가능하다. 즉, 모든 1, 2, 3 차원다양체 M 에대하여단순복합체 K 와위상동형사상 f : K M 이존재한다. Triangulation of manifolds. Simplicial realization of manifolds n = 2, 3 : T. Radó(1925) 곡면의분류정리 n = 4 : 4- 차원다양체 E 8 은삼각분할을갖지않는다. n 5 : open problem 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 15 / 30

단순실현 정리 모든 1, 2, 3 차원다양체는삼각분할이가능하다. 즉, 모든 1, 2, 3 차원다양체 M 에대하여단순복합체 K 와위상동형사상 f : K M 이존재한다. Triangulation of manifolds. Simplicial realization of manifolds n = 2, 3 : T. Radó(1925) 곡면의분류정리 n = 4 : 4- 차원다양체 E 8 은삼각분할을갖지않는다. n 5 : open problem 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 15 / 30

단순실현 정리 모든 1, 2, 3 차원다양체는삼각분할이가능하다. 즉, 모든 1, 2, 3 차원다양체 M 에대하여단순복합체 K 와위상동형사상 f : K M 이존재한다. Triangulation of manifolds. Simplicial realization of manifolds n = 2, 3 : T. Radó(1925) 곡면의분류정리 n = 4 : 4- 차원다양체 E 8 은삼각분할을갖지않는다. n 5 : open problem 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 15 / 30

단순실현 정리 모든 1, 2, 3 차원다양체는삼각분할이가능하다. 즉, 모든 1, 2, 3 차원다양체 M 에대하여단순복합체 K 와위상동형사상 f : K M 이존재한다. Triangulation of manifolds. Simplicial realization of manifolds n = 2, 3 : T. Radó(1925) 곡면의분류정리 n = 4 : 4- 차원다양체 E 8 은삼각분할을갖지않는다. n 5 : open problem 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 15 / 30

단순실현 정리 모든 1, 2, 3 차원다양체는삼각분할이가능하다. 즉, 모든 1, 2, 3 차원다양체 M 에대하여단순복합체 K 와위상동형사상 f : K M 이존재한다. Triangulation of manifolds. Simplicial realization of manifolds n = 2, 3 : T. Radó(1925) 곡면의분류정리 n = 4 : 4- 차원다양체 E 8 은삼각분할을갖지않는다. n 5 : open problem 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 15 / 30

단순실현 정리 모든 1, 2, 3 차원다양체는삼각분할이가능하다. 즉, 모든 1, 2, 3 차원다양체 M 에대하여단순복합체 K 와위상동형사상 f : K M 이존재한다. Triangulation of manifolds. Simplicial realization of manifolds n = 2, 3 : T. Radó(1925) 곡면의분류정리 n = 4 : 4- 차원다양체 E 8 은삼각분할을갖지않는다. n 5 : open problem 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 15 / 30

단순실현 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 16 / 30

대수적근사 Stone-Weierstrass theorem 만약 X 가 R m 상의 compact 공간이면모든연속사상 f : X R n 은다항함수 p 로원하는만큼근사시킬수있다. X = [a, b] 인경우 : K. Weierstrass(1885) X 가 compact 인경우 : M. Stone(1937) Taylor Series : sin x = x x 3 3! + x 5 5! x 7 7! + 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 17 / 30

대수적근사 Stone-Weierstrass theorem 만약 X 가 R m 상의 compact 공간이면모든연속사상 f : X R n 은다항함수 p 로원하는만큼근사시킬수있다. X = [a, b] 인경우 : K. Weierstrass(1885) X 가 compact 인경우 : M. Stone(1937) Taylor Series : sin x = x x 3 3! + x 5 5! x 7 7! + 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 17 / 30

대수적근사 Stone-Weierstrass theorem 만약 X 가 R m 상의 compact 공간이면모든연속사상 f : X R n 은다항함수 p 로원하는만큼근사시킬수있다. X = [a, b] 인경우 : K. Weierstrass(1885) X 가 compact 인경우 : M. Stone(1937) Taylor Series : sin x = x x 3 3! + x 5 5! x 7 7! + 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 17 / 30

대수적근사 Stone-Weierstrass theorem 만약 X 가 R m 상의 compact 공간이면모든연속사상 f : X R n 은다항함수 p 로원하는만큼근사시킬수있다. X = [a, b] 인경우 : K. Weierstrass(1885) X 가 compact 인경우 : M. Stone(1937) Taylor Series : sin x = x x 3 3! + x 5 5! x 7 7! + 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 17 / 30

대수적근사 Stone-Weierstrass theorem 만약 X 가 R m 상의 compact 공간이면모든연속사상 f : X R n 은다항함수 p 로원하는만큼근사시킬수있다. X = [a, b] 인경우 : K. Weierstrass(1885) X 가 compact 인경우 : M. Stone(1937) Taylor Series : sin x = x x 3 3! + x 5 5! x 7 7! + 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 17 / 30

대수적실현 정의 M R n 이대수적다양체란 M = p 1 (0) 인다항함수 p : R n R 가존재 M 은미분다양체이다. Nash-Tognoli Theorem(1973) 모든닫힌매끄러운 (closed smooth) 다양체는대수적다양체와미분동형이다. Hilbert(1900) 16 번째문제. 실대수곡선과곡면의위상에대한연구 H. Seifert(1936) 다양체에대한대수적근사연구 J. Nash(1952) 실대수다양체연구 A. Tognoli(1973) Nash-Tognoli 정리완성 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 18 / 30

대수적실현 정의 M R n 이대수적다양체란 M = p 1 (0) 인다항함수 p : R n R 가존재 M 은미분다양체이다. Nash-Tognoli Theorem(1973) 모든닫힌매끄러운 (closed smooth) 다양체는대수적다양체와미분동형이다. Hilbert(1900) 16 번째문제. 실대수곡선과곡면의위상에대한연구 H. Seifert(1936) 다양체에대한대수적근사연구 J. Nash(1952) 실대수다양체연구 A. Tognoli(1973) Nash-Tognoli 정리완성 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 18 / 30

대수적실현 정의 M R n 이대수적다양체란 M = p 1 (0) 인다항함수 p : R n R 가존재 M 은미분다양체이다. Nash-Tognoli Theorem(1973) 모든닫힌매끄러운 (closed smooth) 다양체는대수적다양체와미분동형이다. Hilbert(1900) 16 번째문제. 실대수곡선과곡면의위상에대한연구 H. Seifert(1936) 다양체에대한대수적근사연구 J. Nash(1952) 실대수다양체연구 A. Tognoli(1973) Nash-Tognoli 정리완성 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 18 / 30

대수적실현 정의 M R n 이대수적다양체란 M = p 1 (0) 인다항함수 p : R n R 가존재 M 은미분다양체이다. Nash-Tognoli Theorem(1973) 모든닫힌매끄러운 (closed smooth) 다양체는대수적다양체와미분동형이다. Hilbert(1900) 16 번째문제. 실대수곡선과곡면의위상에대한연구 H. Seifert(1936) 다양체에대한대수적근사연구 J. Nash(1952) 실대수다양체연구 A. Tognoli(1973) Nash-Tognoli 정리완성 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 18 / 30

대수적실현 정의 M R n 이대수적다양체란 M = p 1 (0) 인다항함수 p : R n R 가존재 M 은미분다양체이다. Nash-Tognoli Theorem(1973) 모든닫힌매끄러운 (closed smooth) 다양체는대수적다양체와미분동형이다. Hilbert(1900) 16 번째문제. 실대수곡선과곡면의위상에대한연구 H. Seifert(1936) 다양체에대한대수적근사연구 J. Nash(1952) 실대수다양체연구 A. Tognoli(1973) Nash-Tognoli 정리완성 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 18 / 30

대수적실현 정의 M R n 이대수적다양체란 M = p 1 (0) 인다항함수 p : R n R 가존재 M 은미분다양체이다. Nash-Tognoli Theorem(1973) 모든닫힌매끄러운 (closed smooth) 다양체는대수적다양체와미분동형이다. Hilbert(1900) 16 번째문제. 실대수곡선과곡면의위상에대한연구 H. Seifert(1936) 다양체에대한대수적근사연구 J. Nash(1952) 실대수다양체연구 A. Tognoli(1973) Nash-Tognoli 정리완성 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 18 / 30

대수적실현 정의 M R n 이대수적다양체란 M = p 1 (0) 인다항함수 p : R n R 가존재 M 은미분다양체이다. Nash-Tognoli Theorem(1973) 모든닫힌매끄러운 (closed smooth) 다양체는대수적다양체와미분동형이다. Hilbert(1900) 16 번째문제. 실대수곡선과곡면의위상에대한연구 H. Seifert(1936) 다양체에대한대수적근사연구 J. Nash(1952) 실대수다양체연구 A. Tognoli(1973) Nash-Tognoli 정리완성 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 18 / 30

강의순서 1 유클리드공간에넣기 2 근사 (approximation) 와실현 (realization) 3 준대수적변환군론 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 19 / 30

군표현 정의 M n (R) : n n 행렬집합 GL n (R) = {A M n (R) det(a) 0} : n n 정칙행렬집합 O n (R) = {A GL n (R) A t A = AA t = E} : 직교행렬집합 G, H 가군일때, 함수 f : G H 이 group homomorphism 이란 f (g 1 g 2 ) = f (g 1 )f (g 2 ) f (e) = e 군 G 의표현 (reprentation) 이란 group homomorphism ρ: G GL n (R) 을의미한다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 20 / 30

군표현 정의 M n (R) : n n 행렬집합 GL n (R) = {A M n (R) det(a) 0} : n n 정칙행렬집합 O n (R) = {A GL n (R) A t A = AA t = E} : 직교행렬집합 G, H 가군일때, 함수 f : G H 이 group homomorphism 이란 f (g 1 g 2 ) = f (g 1 )f (g 2 ) f (e) = e 군 G 의표현 (reprentation) 이란 group homomorphism ρ: G GL n (R) 을의미한다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 20 / 30

군표현 S 1 C에복소수곱연산 을준군 G = (S 1, ) 의표현 ( ) cos θ sin θ ρ: G GL 2 (R), ρ(e iθ ) = sin θ cos θ G = ρ(g) O 2 (R) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 21 / 30

군표현 S 1 C에복소수곱연산 을준군 G = (S 1, ) 의표현 ( ) cos θ sin θ ρ: G GL 2 (R), ρ(e iθ ) = sin θ cos θ G = ρ(g) O 2 (R) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 21 / 30

군표현 S 1 C에복소수곱연산 을준군 G = (S 1, ) 의표현 ( ) cos θ sin θ ρ: G GL 2 (R), ρ(e iθ ) = sin θ cos θ G = ρ(g) O 2 (R) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 21 / 30

군표현 S 1 C에복소수곱연산 을준군 G = (S 1, ) 의표현 ( ) cos θ sin θ ρ: G GL 2 (R), ρ(e iθ ) = sin θ cos θ G = ρ(g) O 2 (R) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 21 / 30

준대수적공간 정의 M R n : 준대수적 (semialgebraic) 유한개다항함수 f ij, g ij s.t. M = i {x R n f ij (x) > 0, g ij (x) = 0 j}. 보기 : f, g : R 2 R, f (x, y) = y x 2, g(x, y) = x y + 2. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 22 / 30

준대수적공간 정의 M R n : 준대수적 (semialgebraic) 유한개다항함수 f ij, g ij s.t. M = i {x R n f ij (x) > 0, g ij (x) = 0 j}. 보기 : f, g : R 2 R, f (x, y) = y x 2, g(x, y) = x y + 2. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 22 / 30

준대수적공간 정의 M R n : 준대수적 (semialgebraic) 유한개다항함수 f ij, g ij s.t. M = i {x R n f ij (x) > 0, g ij (x) = 0 j}. 보기 : f, g : R 2 R, f (x, y) = y x 2, g(x, y) = x y + 2. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 22 / 30

준대수적공간 성질 (H. Hironaka, 1975) 준대수적공간은준대수적으로삼각분할가능하다. 즉, 임의의준대수적공간 X 에대하여단순복합체 K 와준대수적동형사상 f : K X 가존재한다. 준대수적공간은유한개의연결성분을갖는다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 23 / 30

준대수적공간 성질 (H. Hironaka, 1975) 준대수적공간은준대수적으로삼각분할가능하다. 즉, 임의의준대수적공간 X 에대하여단순복합체 K 와준대수적동형사상 f : K X 가존재한다. 준대수적공간은유한개의연결성분을갖는다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 23 / 30

준대수적사상 정의 M, N: 준대수적공간연속사상 f : M N 이준대수적 그래프가준대수적 n x 는준대수적사상이다. f (x) = n x 는연속이고 Gr(f ) = {(x, y) R 2 y = n x, x 0} = {(x, y) R 2 x y n = 0, x 0} sin x, cos x, tan x, e x, log x 는준대수적이아니다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 24 / 30

준대수적사상 정의 M, N: 준대수적공간연속사상 f : M N 이준대수적 그래프가준대수적 n x 는준대수적사상이다. f (x) = n x 는연속이고 Gr(f ) = {(x, y) R 2 y = n x, x 0} = {(x, y) R 2 x y n = 0, x 0} sin x, cos x, tan x, e x, log x 는준대수적이아니다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 24 / 30

준대수적사상 정의 M, N: 준대수적공간연속사상 f : M N 이준대수적 그래프가준대수적 n x 는준대수적사상이다. f (x) = n x 는연속이고 Gr(f ) = {(x, y) R 2 y = n x, x 0} = {(x, y) R 2 x y n = 0, x 0} sin x, cos x, tan x, e x, log x 는준대수적이아니다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 24 / 30

준대수적사상 정의 M, N: 준대수적공간연속사상 f : M N 이준대수적 그래프가준대수적 n x 는준대수적사상이다. f (x) = n x 는연속이고 Gr(f ) = {(x, y) R 2 y = n x, x 0} = {(x, y) R 2 x y n = 0, x 0} sin x, cos x, tan x, e x, log x 는준대수적이아니다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 24 / 30

준대수적사상 정의 M, N: 준대수적공간연속사상 f : M N 이준대수적 그래프가준대수적 n x 는준대수적사상이다. f (x) = n x 는연속이고 Gr(f ) = {(x, y) R 2 y = n x, x 0} = {(x, y) R 2 x y n = 0, x 0} sin x, cos x, tan x, e x, log x 는준대수적이아니다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 24 / 30

준대수적사상 정의 M, N: 준대수적공간연속사상 f : M N 이준대수적 그래프가준대수적 n x 는준대수적사상이다. f (x) = n x 는연속이고 Gr(f ) = {(x, y) R 2 y = n x, x 0} = {(x, y) R 2 x y n = 0, x 0} sin x, cos x, tan x, e x, log x 는준대수적이아니다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 24 / 30

준대수적군 정의 G 가준대수적군 (semialgebraic group) 이란 G 는준대수적공간이고군 두사상 µ: G G G, (g, h) gh i : G G, g g 1 이모두 ( 연속인 ) 준대수적사상이다. 다음은모두준대수적군이다. GL n (R), O n (R), SO n (R) GL n (R) 의모든 compact 부분군. GL n (R) M n (R) = R n2 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 25 / 30

준대수적군 정의 G 가준대수적군 (semialgebraic group) 이란 G 는준대수적공간이고군 두사상 µ: G G G, (g, h) gh i : G G, g g 1 이모두 ( 연속인 ) 준대수적사상이다. 다음은모두준대수적군이다. GL n (R), O n (R), SO n (R) GL n (R) 의모든 compact 부분군. GL n (R) M n (R) = R n2 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 25 / 30

준대수적군 정의 G 가준대수적군 (semialgebraic group) 이란 G 는준대수적공간이고군 두사상 µ: G G G, (g, h) gh i : G G, g g 1 이모두 ( 연속인 ) 준대수적사상이다. 다음은모두준대수적군이다. GL n (R), O n (R), SO n (R) GL n (R) 의모든 compact 부분군. GL n (R) M n (R) = R n2 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 25 / 30

준대수적군 정의 G 가준대수적군 (semialgebraic group) 이란 G 는준대수적공간이고군 두사상 µ: G G G, (g, h) gh i : G G, g g 1 이모두 ( 연속인 ) 준대수적사상이다. 다음은모두준대수적군이다. GL n (R), O n (R), SO n (R) GL n (R) 의모든 compact 부분군. GL n (R) M n (R) = R n2 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 25 / 30

준대수적작용 모든준대수적군의준대수적부분군은닫힌집합이다. 준대수적군의닫힌부분군은준대수적이아니다. Lie 군의닫힌부부군은 Lie 군이다. 준대수적군 GL n (R) 의닫힌부분군 {( ) e t 0 } {( G = e t ) 0 } 0 e t t R, H = 0 e 2t t R 정의 M 이준대수적 G- 공간이란군작용사상 θ : G M M 이준대수적임을의미한다. θ(g, θ(h, x)) = θ(gh, x) θ(e, x) = x θ(g, x) = gx 로표기 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 26 / 30

준대수적작용 모든준대수적군의준대수적부분군은닫힌집합이다. 준대수적군의닫힌부분군은준대수적이아니다. Lie 군의닫힌부부군은 Lie 군이다. 준대수적군 GL n (R) 의닫힌부분군 {( ) e t 0 } {( G = e t ) 0 } 0 e t t R, H = 0 e 2t t R 정의 M 이준대수적 G- 공간이란군작용사상 θ : G M M 이준대수적임을의미한다. θ(g, θ(h, x)) = θ(gh, x) θ(e, x) = x θ(g, x) = gx 로표기 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 26 / 30

준대수적작용 모든준대수적군의준대수적부분군은닫힌집합이다. 준대수적군의닫힌부분군은준대수적이아니다. Lie 군의닫힌부부군은 Lie 군이다. 준대수적군 GL n (R) 의닫힌부분군 {( ) e t 0 } {( G = e t ) 0 } 0 e t t R, H = 0 e 2t t R 정의 M 이준대수적 G- 공간이란군작용사상 θ : G M M 이준대수적임을의미한다. θ(g, θ(h, x)) = θ(gh, x) θ(e, x) = x θ(g, x) = gx 로표기 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 26 / 30

준대수적작용 모든준대수적군의준대수적부분군은닫힌집합이다. 준대수적군의닫힌부분군은준대수적이아니다. Lie 군의닫힌부부군은 Lie 군이다. 준대수적군 GL n (R) 의닫힌부분군 {( ) e t 0 } {( G = e t ) 0 } 0 e t t R, H = 0 e 2t t R 정의 M 이준대수적 G- 공간이란군작용사상 θ : G M M 이준대수적임을의미한다. θ(g, θ(h, x)) = θ(gh, x) θ(e, x) = x θ(g, x) = gx 로표기 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 26 / 30

준대수적작용 모든준대수적군의준대수적부분군은닫힌집합이다. 준대수적군의닫힌부분군은준대수적이아니다. Lie 군의닫힌부부군은 Lie 군이다. 준대수적군 GL n (R) 의닫힌부분군 {( ) e t 0 } {( G = e t ) 0 } 0 e t t R, H = 0 e 2t t R 정의 M 이준대수적 G- 공간이란군작용사상 θ : G M M 이준대수적임을의미한다. θ(g, θ(h, x)) = θ(gh, x) θ(e, x) = x θ(g, x) = gx 로표기 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 26 / 30

준대수적작용 모든준대수적군의준대수적부분군은닫힌집합이다. 준대수적군의닫힌부분군은준대수적이아니다. Lie 군의닫힌부부군은 Lie 군이다. 준대수적군 GL n (R) 의닫힌부분군 {( ) e t 0 } {( G = e t ) 0 } 0 e t t R, H = 0 e 2t t R 정의 M 이준대수적 G- 공간이란군작용사상 θ : G M M 이준대수적임을의미한다. θ(g, θ(h, x)) = θ(gh, x) θ(e, x) = x θ(g, x) = gx 로표기 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 26 / 30

준대수적작용 모든준대수적군의준대수적부분군은닫힌집합이다. 준대수적군의닫힌부분군은준대수적이아니다. Lie 군의닫힌부부군은 Lie 군이다. 준대수적군 GL n (R) 의닫힌부분군 {( ) e t 0 } {( G = e t ) 0 } 0 e t t R, H = 0 e 2t t R 정의 M 이준대수적 G- 공간이란군작용사상 θ : G M M 이준대수적임을의미한다. θ(g, θ(h, x)) = θ(gh, x) θ(e, x) = x θ(g, x) = gx 로표기 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 26 / 30

준대수적작용 정의 f : M N 가준대수적 G- 사상이란 f 는 G- 사상 ( 즉, f (gx) = gf (x)) f 는 ( 연속 ) 준대수적사상. 준대수적 G- 공간이 proper 란다음사상이준대수적으로 proper 함을의미한다 : θ : G M M M, (g, x) = (gx, x) 만약 G 가 compact 이면모든준대수적 G- 공간은 proper 이다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 27 / 30

준대수적작용 정의 f : M N 가준대수적 G- 사상이란 f 는 G- 사상 ( 즉, f (gx) = gf (x)) f 는 ( 연속 ) 준대수적사상. 준대수적 G- 공간이 proper 란다음사상이준대수적으로 proper 함을의미한다 : θ : G M M M, (g, x) = (gx, x) 만약 G 가 compact 이면모든준대수적 G- 공간은 proper 이다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 27 / 30

준대수적작용 정의 f : M N 가준대수적 G- 사상이란 f 는 G- 사상 ( 즉, f (gx) = gf (x)) f 는 ( 연속 ) 준대수적사상. 준대수적 G- 공간이 proper 란다음사상이준대수적으로 proper 함을의미한다 : θ : G M M M, (g, x) = (gx, x) 만약 G 가 compact 이면모든준대수적 G- 공간은 proper 이다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 27 / 30

준대수적작용 정의 f : M N 가준대수적 G- 사상이란 f 는 G- 사상 ( 즉, f (gx) = gf (x)) f 는 ( 연속 ) 준대수적사상. 준대수적 G- 공간이 proper 란다음사상이준대수적으로 proper 함을의미한다 : θ : G M M M, (g, x) = (gx, x) 만약 G 가 compact 이면모든준대수적 G- 공간은 proper 이다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 27 / 30

준대수적작용 정리 모든 proper 준대수적 G- 공간은준대수적 G-CW 복합체구조를갖는다. 정리 ( 준대수적넣기정리 ) G 가선형 (linear) 일때, 모든 proper 준대수적 G- 공간에대해준대수적표현 ρ: G GL k (R) 과준대수적 G- 넣기사상 f : M R k (ρ) 가존재한다. 질문 준대수적군 G 이선형이란적당한자연수 n 에대해단사 (faithful) 인준대수적표현 ρ: G GL n (R) 이존재함을의미. n k Slice theorem, 유한성, double induction 준대수적군 G 에대해단사 (faithful) 인준대수적표현 ρ: G GL n (R) 이존재하는가? 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 28 / 30

준대수적작용 정리 모든 proper 준대수적 G- 공간은준대수적 G-CW 복합체구조를갖는다. 정리 ( 준대수적넣기정리 ) G 가선형 (linear) 일때, 모든 proper 준대수적 G- 공간에대해준대수적표현 ρ: G GL k (R) 과준대수적 G- 넣기사상 f : M R k (ρ) 가존재한다. 질문 준대수적군 G 이선형이란적당한자연수 n 에대해단사 (faithful) 인준대수적표현 ρ: G GL n (R) 이존재함을의미. n k Slice theorem, 유한성, double induction 준대수적군 G 에대해단사 (faithful) 인준대수적표현 ρ: G GL n (R) 이존재하는가? 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 28 / 30

준대수적작용 정리 모든 proper 준대수적 G- 공간은준대수적 G-CW 복합체구조를갖는다. 정리 ( 준대수적넣기정리 ) G 가선형 (linear) 일때, 모든 proper 준대수적 G- 공간에대해준대수적표현 ρ: G GL k (R) 과준대수적 G- 넣기사상 f : M R k (ρ) 가존재한다. 질문 준대수적군 G 이선형이란적당한자연수 n 에대해단사 (faithful) 인준대수적표현 ρ: G GL n (R) 이존재함을의미. n k Slice theorem, 유한성, double induction 준대수적군 G 에대해단사 (faithful) 인준대수적표현 ρ: G GL n (R) 이존재하는가? 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 28 / 30

준대수적작용 정리 모든 proper 준대수적 G- 공간은준대수적 G-CW 복합체구조를갖는다. 정리 ( 준대수적넣기정리 ) G 가선형 (linear) 일때, 모든 proper 준대수적 G- 공간에대해준대수적표현 ρ: G GL k (R) 과준대수적 G- 넣기사상 f : M R k (ρ) 가존재한다. 질문 준대수적군 G 이선형이란적당한자연수 n 에대해단사 (faithful) 인준대수적표현 ρ: G GL n (R) 이존재함을의미. n k Slice theorem, 유한성, double induction 준대수적군 G 에대해단사 (faithful) 인준대수적표현 ρ: G GL n (R) 이존재하는가? 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 28 / 30

준대수적작용 정리 모든 proper 준대수적 G- 공간은준대수적 G-CW 복합체구조를갖는다. 정리 ( 준대수적넣기정리 ) G 가선형 (linear) 일때, 모든 proper 준대수적 G- 공간에대해준대수적표현 ρ: G GL k (R) 과준대수적 G- 넣기사상 f : M R k (ρ) 가존재한다. 질문 준대수적군 G 이선형이란적당한자연수 n 에대해단사 (faithful) 인준대수적표현 ρ: G GL n (R) 이존재함을의미. n k Slice theorem, 유한성, double induction 준대수적군 G 에대해단사 (faithful) 인준대수적표현 ρ: G GL n (R) 이존재하는가? 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 28 / 30

준대수적작용 정리 모든 proper 준대수적 G- 공간은준대수적 G-CW 복합체구조를갖는다. 정리 ( 준대수적넣기정리 ) G 가선형 (linear) 일때, 모든 proper 준대수적 G- 공간에대해준대수적표현 ρ: G GL k (R) 과준대수적 G- 넣기사상 f : M R k (ρ) 가존재한다. 질문 준대수적군 G 이선형이란적당한자연수 n 에대해단사 (faithful) 인준대수적표현 ρ: G GL n (R) 이존재함을의미. n k Slice theorem, 유한성, double induction 준대수적군 G 에대해단사 (faithful) 인준대수적표현 ρ: G GL n (R) 이존재하는가? 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 28 / 30

준대수적작용 정리 M, N 이 proper 준대수적 G- 공간, f : M N 을연속인 G- 사상이라하자. 만약 G 와 M 이모두컴팩트이면 f 는준대수적 G- 사상으로원하는만큼근사시킬수있다. 나머지경우는 f 와 homotopic 한준대수적 G- 사상 g : M N 이존재한다. 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 29 / 30

준대수적작용 문제 유한개의연결성분을갖는 G- 다양체와 G- 위상동형인준대수적 G- 공간이존재하는가? 위상적 G- 다발과동형인준대수적 G- 다발이존재하는가? E k (Ξ) M f,g p G k (Ξ) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 30 / 30

준대수적작용 문제 유한개의연결성분을갖는 G- 다양체와 G- 위상동형인준대수적 G- 공간이존재하는가? 위상적 G- 다발과동형인준대수적 G- 다발이존재하는가? E k (Ξ) M f,g p G k (Ξ) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 30 / 30

준대수적작용 문제 유한개의연결성분을갖는 G- 다양체와 G- 위상동형인준대수적 G- 공간이존재하는가? 위상적 G- 다발과동형인준대수적 G- 다발이존재하는가? E k (Ξ) M f,g p G k (Ξ) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 30 / 30

준대수적작용 문제 유한개의연결성분을갖는 G- 다양체와 G- 위상동형인준대수적 G- 공간이존재하는가? 위상적 G- 다발과동형인준대수적 G- 다발이존재하는가? E k (Ξ) M f,g p G k (Ξ) 박대희 ( 전남대학교 ) 넣기문제와실현문제에대하여 March 30, 2012 30 / 30