\begin{thm}[스토크스의 정리]
그러므로 기본정리는 다음과 같이 해석된다.
\[
\int _{[a,b]}f(x)\,dx=\int _{[a,b]}dF=\int _{\{a\}^{-}\cup \{b\}^{+}}F=F(b)-F(a).
\]
\end{thm}
\begin{lem}[켈빈-스토크스 정리]
스토크스 정리의 고전적인 형태로서 켈빈-스토크스 정리(영어: Kelvin–Stokes theorem)라고도 한다. 3차원 공간상의 폐곡선에서 수행되는 선적분은 스토크스의 정리에 의해 주어진 폐곡선이 둘러싼 임의의 곡면 $R$에서의 면적분으로 변환될 수 있다. 역도 가능하다.
\[
\int _{\Omega }\mathrm {d} \omega =\oint _{\partial \Omega }\omega
\]
\end{lem}
\begin{dfn}
$\Omega$가 경계를 가진 n차원 유향 매끄러운 다양체라고 하고, $\omega$는 $\Omega$ 위에 정의된 $(n-1)$차 미분 형식이라고 하자. 또한, $\omega$가 콤팩트 지지라고 하자. $\partial \Omega$를 $\Omega$의 경계라고 하면, 다음 등식이 성립한다. 이 등식을 스토크스의 정리라고 한다.
\[
\int _{\Omega }\mathrm {d} \omega =\oint _{\partial \Omega }\omega
\]
\end{dfn}
\begin{thm}[스토크스의 정리]
그러므로 기본정리는 다음과 같이 해석된다.
\[
\int _{[a,b]}f(x)\,dx=\int _{[a,b]}dF=\int _{\{a\}^{-}\cup \{b\}^{+}}F=F(b)-F(a).
\]
\end{thm}
\begin{lem}[켈빈-스토크스 정리]
스토크스 정리의 고전적인 형태로서 켈빈-스토크스 정리(영어: Kelvin–Stokes theorem)라고도 한다. 3차원 공간상의 폐곡선에서 수행되는 선적분은 스토크스의 정리에 의해 주어진 폐곡선이 둘러싼 임의의 곡면 $R$에서의 면적분으로 변환될 수 있다. 역도 가능하다.
\[
\int _{\Omega }\mathrm {d} \omega =\oint _{\partial \Omega }\omega
\]
\end{lem}
\begin{dfn}
$\Omega$가 경계를 가진 n차원 유향 매끄러운 다양체라고 하고, $\omega$는 $\Omega$ 위에 정의된 $(n-1)$차 미분 형식이라고 하자. 또한, $\omega$가 콤팩트 지지라고 하자. $\partial \Omega$를 $\Omega$의 경계라고 하면, 다음 등식이 성립한다. 이 등식을 스토크스의 정리라고 한다.
\[
\int _{\Omega }\mathrm {d} \omega =\oint _{\partial \Omega }\omega
\]
\end{dfn}
\end{document}
무슨 클래스를 쓰는지, 에러는 구체적으로 뭔지, 무엇보다도 질문자와 동일한 상황을 테스트해볼 수 있는 최소예제파일을 올려주지 않으면 답변하기가 참 곤란합니다.
어쨌거나 다음 것은 의도대로 잘 되는 듯한데요.
\documentclass[a4paper]{article}
\usepackage{amsmath}
% ams에서 제공하는 클래스를 사용하지 않는다면, amsthm은 amsmath 뒤에 불러와야 한다.(cf. amsthm manual)
\usepackage{amsthm}
\usepackage[hangul]{kotex}
\theoremstyle{plain} %기본값
\newtheorem{thm}{Theorem}[section] %섹션마다 리셋되게
\newtheorem{lem}[thm]{Lemma}
\theoremstyle{definition}
\newtheorem{dfn}[thm]{definition}
\begin{document}
\section{최소 예제좀 같이 올려줘봐요, 이런거 타이핑하기 싫어요}
\begin{thm}[스토크스의 정리]
그러므로 기본정리는 다음과 같이 해석된다.
\[
\int _{[a,b]}f(x)\,dx=\int _{[a,b]}dF=\int _{\{a\}^{-}\cup \{b\}^{+}}F=F(b)-F(a).
\]
\end{thm}
\begin{lem}[켈빈-스토크스 정리]
스토크스 정리의 고전적인 형태로서 켈빈-스토크스 정리(영어: Kelvin–Stokes theorem)라고도 한다. 3차원 공간상의 폐곡선에서 수행되는 선적분은 스토크스의 정리에 의해 주어진 폐곡선이 둘러싼 임의의 곡면 $R$에서의 면적분으로 변환될 수 있다. 역도 가능하다.
\[
\int _{\Omega }\mathrm {d} \omega =\oint _{\partial \Omega }\omega
\]
\end{lem}
\begin{dfn}
$\Omega$가 경계를 가진 n차원 유향 매끄러운 다양체라고 하고, $\omega$는 $\Omega$ 위에 정의된 $(n-1)$차 미분 형식이라고 하자. 또한, $\omega$가 콤팩트 지지라고 하자. $\partial \Omega$를 $\Omega$의 경계라고 하면, 다음 등식이 성립한다. 이 등식을 스토크스의 정리라고 한다.
\[
\int _{\Omega }\mathrm {d} \omega =\oint _{\partial \Omega }\omega
\]
\end{dfn}
\begin{thm}[스토크스의 정리]
그러므로 기본정리는 다음과 같이 해석된다.
\[
\int _{[a,b]}f(x)\,dx=\int _{[a,b]}dF=\int _{\{a\}^{-}\cup \{b\}^{+}}F=F(b)-F(a).
\]
\end{thm}
\begin{lem}[켈빈-스토크스 정리]
스토크스 정리의 고전적인 형태로서 켈빈-스토크스 정리(영어: Kelvin–Stokes theorem)라고도 한다. 3차원 공간상의 폐곡선에서 수행되는 선적분은 스토크스의 정리에 의해 주어진 폐곡선이 둘러싼 임의의 곡면 $R$에서의 면적분으로 변환될 수 있다. 역도 가능하다.
\[
\int _{\Omega }\mathrm {d} \omega =\oint _{\partial \Omega }\omega
\]
\end{lem}
\begin{dfn}
$\Omega$가 경계를 가진 n차원 유향 매끄러운 다양체라고 하고, $\omega$는 $\Omega$ 위에 정의된 $(n-1)$차 미분 형식이라고 하자. 또한, $\omega$가 콤팩트 지지라고 하자. $\partial \Omega$를 $\Omega$의 경계라고 하면, 다음 등식이 성립한다. 이 등식을 스토크스의 정리라고 한다.
\[
\int _{\Omega }\mathrm {d} \omega =\oint _{\partial \Omega }\omega
\]
\end{dfn}
\end{document}