전체 글 281

[해석학](23)[함수의 limit]

함수의 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..

해석학 2026.06.08

[군론](22)[abelian 단순화]

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))..

군론 2026.06.05

[군론](21)[fundemental theorem of finitly generated abelian]

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..

군론 2026.06.04

[군론](20)[correspondence 정리, cauchy 정리]

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밖에..

군론 2026.06.03

[군론](19)[정규부분군 & 몫군]

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..

군론 2026.06.02

[군론](18)[product set & 소수와 군]

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를 반드시 포..

군론 2026.06.01

[해석학](22)[perfect set]

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}$ =..

해석학 2026.05.27

[해석학](21)[connected & disconnected]

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 $..

해석학 2026.05.26

[해석학](20)[축소 컴팩트 정리 & 칸토어 집합]

축소 컴팩트 정리(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..

해석학 2026.05.25

[해석학](19)[compact & heine-borel]

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$ 이므로 모순-> 따라서, 수렴하는 부..

해석학 2026.05.22

[해석학](18)[closure-interior-boundary]

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가..

해석학 2026.05.21

[해석학](17)[open-closed complement & dense]

open-closed complement어떤 집합 $A \in \mathbb{R}$에 대해,A가 open set $\Rightarrow$ $A^C$는 closed setA가 closed set $\Rightarrow$ $A^C$는 open set증명) open -> 여집합 closedA가 open set 이라고 하자$x \in A^C \Leftrightarrow x \not\in A$x를 $A^C$의 limit point라 할 때,$x \not\in A^C$라 가정하자 $\Leftrightarrow x \in A$A는 open set이므로, $\Leftrightarrow \exists \epsilon > 0, \ V_{\epsilon}(x) \subseteq A$ $\Rightarrow..

해석학 2026.05.20

[해석학](16)[open & closed set]

ε-neighborhood$a \in \mathbb{R}, \ \epsilon > 0$에 대해, a의 ε-근방은$V_{\epsilon}(a) = {x \in \mathbb{R} \ | \ |x-a| open set$O \subseteq \mathbb{R}$에 대해,$\forall x \in O, \ \exists \epsilon > 0, \ V_{\epsilon}(x) \subseteq O$ 즉, 집합의 모든 점에 대해, 어떤 ε이 존재해 그 ε-근방이 다시 그 집합에 들어가면 열린 집합이다. 예) (a, b)는 열린 집합인가? $\forall x \in (a, b)$애 대해, $\epsilon = \min(x-a, \ b-x)$로 잡자. $V_{\epsilon}(x) = (x-\e..

해석학 2026.05.19

[악성코드 개발](19)[IAT bypass]

이전까지는 직접 스레드 만드는 것을 우회하고의심을 피하기 위해 스레드를 잠깐 멈추고 내 페이로드를 실행 후 원복하는 것까지 했다. 근데 이건 의심을 덜을 수는 있지만, 근본적인 해결책은 아니다.악성코드 개발 18에서 사용된 API 함수인 getThreadContext, virtualAllocEx 등을 백신 6의 IAT 백신에 등록하기만 해도 잡힐 것이다. IAT의 동작이전에 IAT가 뭔지는 알아봤는데,IAT를 우회하기 위해 더 자세히 IAT가 dll과 사용된 API를 저장하는 방식을 알아보자..idata ├── IMAGE_IMPORT_DESCRIPTOR ├── DLL 이름 문자열 ├── Import Lookup Table(INT/ILT) ├── Import Address Table(IAT) └── Hin..

[군론](17)[지표 & 라그랑주 정리]

지표 (index)[G : H] = 서로 다른 left coset의 수 예) [$\mathbb{Z}$ : $\mathbb{3Z}$] left coset 3$\mathbb{Z}$ = {..., 0, 3, 6, 9, ...} $1+3\mathbb{Z}$ = {..., 1, 4, 7, 10, ...} $2 + 3\mathbb{Z}$ = {..., 2, 5, 8, 11, ...} # of left coset = 3 참고) [$\mathbb{Z}$ : n$\mathbb{Z}$] = n 특징$K \le H \le G$일때, [G : K] = [G : H][H : K]증명라그랑주 정리를 이용하면 쉽게 증명할 수 있다!$H \le G$이므로, |G| = [G : H..

군론 2026.05.13
728x90
반응형