[해석학](25)[연속 함수의 성질 & unif conti]

extreme value theoremf: K→RK \to \mathbb{R}K→R인 연속함수, K는 compact이면∀x∈K, ∃a,b∈K, s.t. f(a)≤f(x)≤f(b)\forall x \in K, \ \exists a, b \in K, \ s.t. \ f(a) \le f(x) \le f(b)∀x∈K, ∃a,b∈K, s.t. f(a)≤f(x)≤f(b)연속함수에서 compact 집합을 보내면 항상 최대, 최소가 compact에 존재•증명)해석개론 24에서 보였듯,f가 conti, K가 compact => f(K)도 compact즉, f(K) = closed + bounded-> bounded이므로, ∃Sup(f(K)), inf(f(K))\exists Sup(f(K)), \ inf(f(K))∃Sup..

[군론](23)[동형사상정리]

FIT (First Isomorphism Theorem)ϕ:G→G′\phi : G \to G'ϕ:G→G′ homomorphism일떄,G/ker⁡ϕ≅Im(ϕ)G / \ker{\phi} \cong Im(\phi)G/kerϕ≅Im(ϕ)증명ϕ:G→G′\phi : G \to G'ϕ:G→G′ 에 대해,ψ:G/K→ϕ(G)\psi: G/K \to \phi(G)ψ:G/K→ϕ(G)을 잡고 (단, K = kerϕker\phikerϕ)ψ(gK)=ϕ(g)\psi (gK) = \phi(g)ψ(gK)=ϕ(g)이게 isom인 것을 보이자!1.ψ\psiψ가 well-defined?aK = bK라 하자.  ⟺  b−1a∈K\iff b^{-1}a \in K⟺b−1a∈KK가 kernel 이므로, ϕ(b−1a)=e′\phi(b^{-1}a) ..

[해석학](24)[연속성]

continuousf: A→RA \to \mathbb{R}A→R이고, c∈Ac \in Ac∈A일떄,∀ϵ>0, ∃δ>0, 0∣x−c∣δ and x∈A⇒∣f(x)−f(c)∣ϵ\forall \epsilon > 0, \ \exists \delta >0 ,\ 0∀ϵ>0, ∃δ>0, 0∣x−c∣δ and x∈A⇒∣f(x)−f(c)∣ϵ이면f는 c에서 연속이라 한다이떄, f가 ∀c∈A\forall c \in A∀c∈A에서 연속이면, f는 continuous function⇔∀(xn)⊆A, xn→c\Leftrightarrow \forall (x_n)\subseteq A, \ x_n \to c⇔∀(xn​)⊆A, xn​→c면 f(xn)→f(c)f(x_n) \to f(c)f(xn​)→f(c)ALT for contif, g가 ..

[군론](-)[Quotient group 예시]

G=Z, N=nZG = \mathbb{Z}, \ N = n\mathbb{Z}G=Z, N=nZ일단, G가 abelian, cyclic이므로1.모든 부분군은 정의에 의해 정규부분군이 된다2.G가 ablian이니까 G/N도 abelian이다3.G가 cyclic이니까 G/N도 cyclic이다실제로 G/N을 봐보면...G/N = {nZn\mathbb{Z}nZ, 1+nZn\mathbb{Z}nZ, 2+nZn\mathbb{Z}nZ, ..., (n-1)+nZn\mathbb{Z}nZ}Z/nZ≃Zn\mathbb{Z}/n\mathbb{Z} \simeq \mathbb{Z}_nZ/nZ≃Zn​자연스럽게~ 함수를 잡아보자~f:Zn→Z/nZf: \mathbb{Z}_n \to \mathbb{Z}/n\mathbb{Z}f:Zn​→Z/nZf..

함수의 limitf: $A \to \mathbb{R}$이고, $c \in L(A)$일떄, 일단 c 주변에 다가갈 x가 있어야 하니까... c는 A의 limit point여야 함$\forall \epsilon > 0, \ \exists \delta >0 ,\ 0$\lim\limits_{x \to c}{f(x)} = L$이라 한다 즉, 모든 $\epsilon$에 대해, c 주변의 x에 대하여 f(x)가 L로 수렴하면 f(x)의 limit을 L로 말할 수 있다. 예) f(x) = x 일떄, $\lim\limits_{x\to 1}{f(x)} = 1?$$f: \mathbb{R} \to \mathbb{R}$인 함수고, $L(\mathbb{R}) = \mathbb{R} \ni 1$$\forall \e..

FIT (First Isomorphism Theorem)$\phi : G \to G'$ homomorphism일떄,$G / \ker{\phi} \cong Im(\phi)$ 자세한 증명은 다음에... 보통 어떤 두 군이 동형임을 밝히고 싶을 떄 사용두 군 사이에 사상을 잡고hom을 보이고단, Im = 목표 군 을 보이기 위해선surjective도 보여야 함quotient랑 Im랑 FIT로 동형이라 함 direct product와 Quoitent의 성질$G_i$가 각각 군이고, $H_i \unlhd G_i$일떄,$(G_1 \times G_2) / (H_1 \times H_2) \cong (G_1/H_1) \times (G_2 / H_2)$f is hom?$f((a_1, a_2))f((b_1, b_2))..

finitely generatedG의 모든 원소를 선형 결합으로 표현할 수 있는 finite subset S가 존재하면G는 finitely generated 될 수 있다고 한다 $\exists S = {x_1,\ x_2,\ ...,\ x_n} \subseteq G$ s.t $\forall g \in G, \ g = a_1x_1 + a_2x_2 +...+a_nx_n$ ($a_i \in \mathbb{Z}$) 예) $\mathbb{Z} \times \mathbb{Z}$ $\mathbb{Z} \times \mathbb{Z} = {(a, b) \ | \ a,b \in \mathbb{Z}}$ $\Leftrightarrow a(1,0)+b(0,1)$ $\Leftrightarrow \braket..

Natural projection$N \unlhd G, \ \pi : G \to G/N$인 함수 $\pi(g) = gN$즉, 임의의 원소를 몫군으로 보내는 함수이다. $\pi$는 전사 homomormphism이다surjective?일단 임의의 $gN \in G/N$에 대해$\exists g \in gN \subseteq G$ 이므로, 전사함수homomorphism?$\forall a, b \in G$$\pi(a)\pi(b) = aN \cdot bN$$= (ab)N = \pi(ab)$따라서 준동형사상임ker($\pi$) = {$g\in G \ | \ gN = N$} = {$g\in G \ | \ g \in N$} = N simple groupG의 normal subgroup이 $\emptyset$, G밖에..

normal subgroup$N \le G$에 대해, $\forall g \in G, \ gN = Ng$인 N $N\unlhd G$ 특징만약 G가 abelian이라면 모든 subgroup이 normal subgroup당연히 element-wise로 normal subgroup이 됨모든 left coset = right coset임항상 {e}, G $\unlhd$ G즉, 임의의 군엔 normal subgroup이 1개는 존대Z(G) $\unlhd$ G군론 6에서 봤던 군의 중심은 항상 G의 normal subgroup이다Z(G) = {x | $\forall g \in G, \ gx=xg$} = abelian element 정의부터가 normal subgroup임...$[G : H] = 2 \Ri..

product setH, K $\le$ G일때, HK = ${hk \ | \ h \in H, \ k\in K}$HK가 항상 G의 부분군임은 보장되진 않는다예) $G = S_3, \ H = {\iota, (1,2)},\ K = {\iota, (2,3)}$ $|S_3| = 3! = 6$ $HK = \{\iota, (1,2), (2,3), (1,2)(2,3)\}$ by 라그랑주 정리, $4\ |\not \ 6$이므로, HK는 부분군이 아님G가 abelian이라면 항상 KH = HK$|HK| = \frac{|H|\cdot |K|}{|H\bigcap K|}$만약 $H\bigcap K$ = {e} 라면? -> |HK| = |H||K|subgroup 조건에 의해, H, K는 e를 반드시 포..

perfect set$P \subseteq \mathbb{R}$이 closed + no isolated point면 perfect set이다. $\iff$ closed + 모든 집합의 점이 limit point 예) [a, b]는 perfect set이다 limit point of [a, b] = [a, b] 따라서, [a, b]안의 모든 점은 limit point -> perfect set예) {0}은 perfect set이 아니다... 0 = isolated point -> perfect set 아님...예) {0}$\cup {\frac{1}{n}}$은 perfect set이 아니다... 0 = limit point $\forall \frac{1}{n}$ =..

open cover$A \subseteq \bigcup{O_{\alpha}}$인 {$O_n$}인 open set 집합 open set으로만 이루어진 합집합이 집합 A를 포함하는 집합 finite subcover: cover의 원소가 유한개인 cover {$O_1$, $O_2$, ..., $O_n$} open cover의 액기스...-> 같은 집합 A이여도 다양한 open cover, finite subcover의 존재여부 가 존재한다예)[0, 1]의 open cover? {(-1, 2)} (0, 1)의 open cover {$(\frac{1}{n}, 1)$ | $n \in \mathbb{N}$} {(0, 1)} compact의 동치K가 compact $..

축소 컴팩트 정리(Nested Compact Set Property)$K_1 \supseteq K_2 \supseteq ...$일때, non-empty, compact라면 $\bigcap\limits^{\infty}{K_n} \neq \emptyset$증명$a_n \in K$를 뽑아서 $(a_n)$을 만들고,$(a_n) \subseteq K_1$이고, $K_1$은 compact이므로,$\exists (a_{n_k}) \subseteq (a_n), \ a_{n_k} \to L \in K_1$임의의 $K_m$에 대해,$\exists k \ (s.t. n_k \ge m)$이 되고, $K_{n_k} \subseteq K_m$따라서, $a_{n_k}$의 앞의 몇 항을 제외하면,$a_{n_k} \in K_{n..

BW의 역수렴하는 부분수열이 존재 => bounded 원본 BW) 수열이 bounded => 부분수열이 수렴하는 부분수열이 존재 해석학 11 참고 BW의 역 또한 실수 공간에서 참이다증명 (귀류법 사용!)어떤 수열 $a_n$에 대해,모든 부분수열이 수렴하는 부분수열을 가진다 가정하자이때, $a_n$이 bounded가 아니라고 가정하자.새로운 $a_n$의 부분수열 $x_n$을 다음과 같이 잡자 유계가 아니므로 다음과 같이 항을 골라낼 수 있다. |$x_n$| > n 이때, $x_n$또한 수렴하는 부분수열을 가져야 하나,애초에 $x_n$을 잡핬을 때, |$x_n$| > |$x_{n-1}$| 이렇게 잡음따라서, $\lim{x_n} \to \infty$ 이므로 모순-> 따라서, 수렴하는 부..

closure (폐포)A 그 자체와 limit point를 포함하는 집합 $\bar{A} = A \bigcup L(A)$$\bar{A}$는 closed이다.증명)x가 $\bar{A}$의 limit point라고 하자.따라서, $\forall \epsilon >0,$$\exists y \in \bar{A}, \ |y-x|또한 $y \in \bar{A} = A\bigcup L(A)$$\Rightarrow \exists a \in A, \ |a-y| $y \in A$면 a = y로 잡고 $y \in L(A)$면 A의 limit point니까 a가 존재따라서, $|a-x| \le |a-y|+|y-x| 즉, $x \in L(A) \subseteq \bar{A}$-> 모든 limit point가..