일본에 어느 수학 유튜버가 멋진 수학 정리 이름 순위 매기기를 하고 있길래 그거에 관해서 간단하게.


구글 폼에서 예선-본선-결선 구조를 걸쳐 순위를 매기는데


1. 예선 : 1인당 최대 5개 모집

2. 본선 : 크게 4개 분야 (해석, 대수, 기하, 응용 및 기타)로 나눠서 각 분야별 3위까지 책정

3. 결선 : 그 12개 사이에서 순위 결정


방식인 모양. 그래서 현재 진행중인 본선에 오른 정리 이름 리스트는


--------해석학 분야---------

소볼레프 매장 정리 (ソボレフの埋蔵定理/Sobolev embedding theorem, 편미분방정식론)
일반화된 횔더 부등식 (一般化ヘルダーの不等式/Generalized Holder inequality, 함수해석학)
루셰 정리 (ルーシェの定理/Rouché's theorem, 복소해석학)
카소라티-바이어슈트라스 정리 (カゾラーティ・ワイエルシュトラスの定理/Casorati-Weierstrass theorem, 복소해석학)
라돈-니코딤 정리 (ラドン・ニコディムの定理/Radon-Nikodým theorem, 측도론)
셔피로 순회 부등식 (シャピロの巡回不等式/Shapiro inequality, 해석학)
스톤-바이어슈트라스 정리 (ストーン・ワイエルシュトラスの定理/Stone-Weierstrass theorem, 해석학)
플랑쉐렐 정리 (プランシュレルの定理/Plancherel theorem, 푸리에 해석)
볼차노-바이어슈트라스 정리 (ボルツァーノ・ワイエルシュトラスの定理/Bolzano-Weierstrass theorem, 미적분학)
중심 극한 정리 (中心極限定理/Central limit. theorem, 확률론)
쐐기 날 정리 (楔の刃定理/Edge-of-the-wedge theorem, 다변수 복소해석학)
돈스커 불변 원리 (ドンスカーの不変原理/Donsker invariance principle, 확률론)
한-바나흐 정리 (ハーン・バナッハの拡張定理/Hahn-Banach theorem, 함수해석학)
양자 중심 극한 정리 (量子中心極限定理/Quantum central limit. theorem, 확률론)
예고로프 정리 (エゴロフの定理/Egorov theorem, 르베그 적분론)
라데마허 정리 (ラーデマッヘルの定理/Rademacher's theorem, 실해석학)
겔폰트-나이마르크 정리 (ゲルファント・ナイマルクの定理/Gelfand-Naimark theorem, 작용소 환론)
피카르-린델뢰프 정리 (ピカール・リンデレーフの定理/Picard-Lindelöf theorem, 상미분방정식론)
에벨라인-시물얀 정리 (エーベルライン・シュムリアンの定理/Eberlein-Šmulian theorem, 함수해석학)
리즈 표현 정리 (リースの表現定理/Riesz representation theorem, 함수해석학)
비교판정법(우급수정리) (優級数定理/Comparison test, 실해석학)
폰 노이만 평균 에르고딕 정리 (フォンノイマンの平均エルゴード定理/Von Neumann's mean ergodic theorem, 에르고딕 이론)
르베그 지배수렴정리 (ルベーグの優収束定理/Lebesgue’s dominated convergence theorem, 르베그적분론)
타원형 정칙성 정리 (楕円型正則性定理/Elliptic regularity theorem, 편미분방정식론)
마르친케비치-지그문트 부등식 (マルチンケヴィチ・ジグムンドの不等式/Marcinkiewicz-Zygmund inequality, 확률론)
바이어슈트라스 M-판정법 (ワイエルシュトラスのM判定法/Weierstrass M-test, 해석학)
리만 재배열 정리 (リーマンの再配列定理/Riemann rearrangement theorem, 미적분학)
리우빌 정리 (リウヴィルの定理/Liouville's theorem, 복소해석학)
락스-밀그램 정리 (ラックス・ミルグラムの定理/The Lax-Milgram theorem, 함수해석학)
미적분학의 기초정리 (微積分学の基本定理/Fundamental theorem of calculus, 미적분학)
리만 사상 정리 (リーマンの写像定理/Riemann mapping theorem, 복소해석학)
파투 보조정리 (ファトゥの補題/Fatou’s lemma, 르베그적분론)
알렉산드로프 정리 (アレクサンドロフの定理/Alexandrov theorem, 볼록해석학)
유수 정리 (留数定理/Residue theorem, 복소해석학)
코시 적분 정리 (コーシーの積分定理/Cauchy's integral theorem, 복소해석학)
르베그 미분 정리 (ルベーグの微分定理/Lebesgue differentiation theorem, 르베그적분론)
뮤어헤드 부등식 (ムーアヘッドの不等式/Muirhead's inequality, 해석학)
바나흐-슈타인하우스 정리 (バナッハ・シュタインハウスの定理/Banach-Steinhaus theorem, 함수해석학)
힐베르트-슈미트 정리 (ヒルベルト・シュミットの展開定理/Hilbert-Schmidt theorem, 함수해석학)
단조 중심 극한 정리 (単調中心極限定理/Monotonic central limit. theorem, 확률론)
리즈-마르코프-카쿠타니 표현 정리 (リース・マルコフ・角谷の定理/Riesz-Markov-Kakutani representation theorem, 함수해석학)
사영 정리 (射影定理/Projection theorem, 함수해석학)
바나흐 고정점 정리 (バナッハの不動点定理/Banach fixed-point theorem, 해석학)
버크홀더 부등식 (バークホルダーの不等式/Burkholder inequality, 확률론)
아르첼라-아스콜리 정리 (アスコリ・アルツェラの定理/Ascoli-Arzelà theorem, 해석학)
글리벤코-칸텔리 정리 (グリヴェンコ・カンテリの定理/Glivenko-Cantelli theorem, 확률론)
모노드로미 정리 (モノドロミー定理/The monodromy theorem, 복소해석학)
균등 유계성 원리 (一様有界性原理/Uniform boundedness principle, 함수해석학)
오카의 상공이행 원리 (上空移行の原理/Oka’s Joku-Iko Principle, 복소해석학)
마다바-그레고리-라이프니츠 공식 (マーダヴァ・グレゴリー・ライプニッツの公式/Madhava-Gregory-Leibniz formula, 미적분학)
슈바르츠-크리스토펠 공식 (シュワルツ・クリストッフェルの定理/Schwarz-Christoffel formula, 복소해석학)
파세발 등식 (パーセバルの等式/Parseval's identity, 푸리에 해석)
이중 가환자환 정리 (二重可換子環定理/Bicommutant theorem, 작용소 환론)
제2보렐-칸텔리 보조정리 (ボレル・カンテリの第二補題/Second Borel-Cantelli lemma, 확률론)
카메론-마틴-딘킨-마루야마-기르사노프 정리 (キャメロン・マルチン・丸山・ギルザノフの定理/Cameron-Martin-Dynkin-Maruyama-Girsanov theorem, 확률론)
하디-리틀우드-소볼레프 부등식 (ハーディ・リトルウッド・ソボレフの不等式/Hardy-Littlewood-Sobolev inequality, 조화해석학)
클라크 표현 정리 (クラークの表現定理/Clark representation formula, 확률론)
베포 레비 정리 (ベッポ・レヴィの定理/Beppo Levi's theorem, 르베그적분론)
리만-르베그 보조정리 (リーマン・ルベーグの補題/Riemann-Lebesgue lemma, 푸리에 해석)
브레지스-리프 보조정리 (ブレジス・リーブの補題/Brezis-Lieb lemma, 르베그적분론)
칼데론-지그문트 분해 (カルデロン・ジグムント分解/Calderón–Zygmund decomposition, 조화해석학)




--------대수학 분야--------

대수학 기본 정리 (代数学の基本定理/Fundamental theorem of algebra, 대수학)
뫼비우스 반전 공식 (メビウスの反転公式/Möbius inversion formula, 정수론)
레드필드-포여 정리 (レッドフィールド・ポリヤの定理/Redfield-Pólya theorem, 조합론)
그람-슈미트 정규직교화 과정 (グラム・シュミットの正規直交化法/Gram-Schmidt orthonormalization, 선형대수학)
야코비 삼중곱 (ヤコビの三重積/Jacobi triple product, 타원함수론)
알렉산더-히르쇼비츠 정리 (アレクサンダー・ヒルショヴィッツの定理/Alexander-Hirschowitz theorem, 대수기하학)
힐베르트 정리 90 (ヒルベルトの定理90/Hilbert's theorem 90, 갈루아 이론)
상승정리 (上昇定理/Going up theorem, 환론)
이차 잉여의 상호법칙 (平方剰余の相互法則/Law of quadratic reciprocity, 정수론)
카와마타 피베크 소멸 정리 (川又・フィーベックの消滅定理/Kawamata-Viehweg vanishing theorem, 대수기하학)
오일러의 오각수 정리 (オイラーの五角数定理/Euler's pentagonal number theorem, 정수론)
번사이드 보조정리 (バーンサイドの補題/Burnside's lemma, 조합론)
아틴 상호법칙 (アルティンの相互法則/Artin reciprocity law, 정수론)
하이퍼그래프 제거 보조정리 (ハイパーグラフ除去補題/Hypergraph removal lemma, 조합론)
차원정리 (次元定理/Rank-nullity theorem, 선형대수학)
페르마의 마지막 정리 (フェルマーの最終定理/Fermat's last theorem, 정수론)
크룰 높이 정리 (クルルの標高定理/Krull's height theorem, 환론)
유클리드-오일러 정리 (ユークリッド・オイラーの定理/Euclid-Euler theorem, 정수론)
크로네커 근사 정리 (クロネッカーの稠密定理/Kronecker’s approximation theorem, 정수론)
아이젠슈타인 기약판정법 (アイゼンシュタインの既約判定法/Eisenstein's criterion, 환론)
이항계수 반전 공식 (二項係数の反転公式/Binomial inversion formula, 조합론)
코다이라 소멸 정리 (小平消滅定理/Kodaira vanishing theorem, 복소대수기하학)
디리클레 등차수열 정리 (ディリクレの算術級数定理/Dirichlet's theorem on arithmetic progressions, 정수론)
스티켈베르거 정리 (シュティッケベルガーの定理/Stickelberger's theorem, 정수론)
뱀 보조정리 (蛇の補題/Snake lemma, 호몰로지 대수학)
크룰-아키즈키 정리 (クルル・秋月の定理/Krull-Akizuki theorem, 환론)
크로네커의 청춘의 꿈 (クロネッカーの青春の夢/Kronecker's Jugendtraum, 유체론)
제켄도르프 정리 (ゼッケンドルフの定理/Zeckendorf's theorem, 정수론)
디리클레의 디오판토스 근사 정리 (ディリクレのディオファントス近似定理/Dirichlet's theorem on Diophantine approximation, 정수론)
게르시고린 정리 (ゲルシュゴーリンの定理/Gershgorin circle theorem, 선형대수학)
힐베르트 영점정리(Nullstellensatz) (ヒルベルトの零点定理/Hilbert's nullstellensatz, 대수기하학)
페르마의 두 제곱수 정리 (フェルマーの二平方和定理/Fermat's theorem on sums of two squares, 정수론)
마주르 정리 (メイザーの定理/Mazur's theorem, 타원곡선론)
유한단순군 분류 정리 (有限単純群の分類定理/Classification of finite simple groups, 군론)
겔폰트-슈나이더 정리 (ゲルフォント・シュナイダーの定理/Gelfond-Schneider's theorem, 정수론&초월수론)
샐러맨더 보조정리 (サラマンダーの補題/Salamander lemma, 호몰로지 대수학)
프로베니우스 상호법칙 (フロベニウスの相互律/Frobenius reciprocity, 표현론)
크룰-아즈마야 정리 (クルル・東屋の定理/Krull-Azumaya theorem, 환론)
케일리-해밀턴 정리 (ケーリー・ハミルトンの定理/Cayley-Hamilton theorem, 선형대수학)
실로브 정리 (シローの定理/Sylow theorems, 군론)
아틴-웨더번 정리 (アルティン・ウェダーバーンの定理/Artin-Wedderburn theorem, 환론)
수체의 소원 별자리 정리 (数体の素元星座定理/Constellations in prime elements of number fields, 정수론)
제거 제한 공식 (削除制限定理/Geometric deletion–restriction formula, 조합론)
모델-베유 정리 (モーデル・ヴェイユの定理/Mordell-Weil theorem, 타원곡선론)
그라우어트-리멘슈나이더 소멸 정리 (グラウエルト・リーメンシュナイダーの消滅定理/Grauert-Riemenschneider vanishing theorem, 대수기하학)
가브리엘 정리 (ガブリエルの定理/Gabriel's theorem, 표현론)
갈루아 이론의 기본정리 (ガロア理論の基本定理/Fundamental theorem of Galois theory, 갈루아 이론)
폰 슈타우트-클라우젠 정리 (フォンシュタウト・クラウゼンの定理/Von Staudt-Clausen theorem, 정수론)
테라오 분해 정리 (寺尾の分解定理/Terao’s factorization theorem, 조합론)




--------기하학 분야--------

베르 범주 정리 (ベールの範疇定理/Baire category theorem, 위상수학)
폐곡면 분류 정리 (閉曲面の分類定理/The classification theorem for closed surfaces, 대수적 위상수학)
우리손 거리화 정리 (ウリゾーンの距離化定理/Urysohn's metrization theorem, 위상수학)
자이페르트-반 캄펜 정리 (ザイフェルト・ファンカンペンの定理/Seifert-van Kampen theorem, 대수적 위상수학)
브라운 표현 정리 (ブラウンの表現定理/Brown's representability theorem, 대수적 위상수학)
아티야-싱어 지표 정리 (アティヤ・シンガーの指数定理/Atiyah-Singer index theorem, 미분기하학)
하이네-보렐 피복 정리 (ハイネ・ボレルの被覆定理/Heine-Borel theorem, 위상수학)
브라우어 고정점 정리 (ブラウワーの不動点定理/Brouwer fixed-point theorem, 대수적 위상수학)
케이시 정리 (ケイシーの定理/Casey's theorem, 초등기하학)
실베스터-갈라이 정리 (シルヴェスター・ガライの定理/Sylvester-Gallai theorem, 이산기하학)
바나흐-타르스키 역설 (バナッハ・タルスキーのパラドックス/Banach-Tarski paradox, 집합론적 기하학)
휘트니 정리 (ホイットニーの定理/Whitney’s theorem, 미분기하학)
마이어-피토리스 열 (マイヤー・ヴィートリス完全列/Mayer-Vietoris sequence, 대수적 위상수학)
리드-제너 정리 (リード・ゼノアの定理/Reed-Zenor theorem, 위상수학)
티체 확장 정리 (ティーツェの拡張定理/Tietze extension theorem, 위상수학)
영혼 정리 (魂の定理/Soul theorem, 리만기하학)
햄 샌드위치 정리 (ハムサンドイッチの定理/Ham sandwich theorem, 볼록기하학)
비숍-그로모프 부피 비교 정리 (ビショップ・グロモフの体積比較定理/Bishop-Gromov volume comparison theorem, 리만기하학)
후르비츠 정리 (フルビッツの定理/Hurwitz's theorem, 복소기하학)
소디의 6구 연쇄 정리 (ソディの6球連鎖定理/Soddy’s hexlet, 초등기하학)
포이어바흐 정리 (フォイエルバッハの定理/Feuerbach's theorem, 초등기하학)
피타고라스 정리 (ピタゴラスの定理/Pythagorean theorem, 초등기하학)
가우스-보네 정리 (ガウス・ボンネの定理/Gauss-Bonnet theorem, 미분기하학)
핀슬러-하트비거 정리 (フィンスラー・ハドヴィッガーの定理/Finsler-Hadwiger theorem, 초등기하학)
중선정리 (中線定理/Apollonius’s theorem, 초등기하학)
보트 주기 정리 (ボットの周期性定理/Bott periodicity theorem, 대수적 위상수학)
킬링-호프 정리 (キリング・ホップの定理/Killing-Hopf theorem, 미분기하학)
한-마주르키에비치 정리 (ハーン・マズルケビッチの定理/Hahn-Mazurkiewicz theorem, 대수적 위상수학)
보편 계수 정리 (普遍係数定理/Universal coefficient theorem, 대수적 위상수학)
가우스의 빼어난 정리 (ガウスの驚異の定理/Theorema Egregium, 미분기하학)
h-보충경계 정리 (h-同境定理/h-Cobordism theorem, 미분기하학)
푸앵카레 쌍대 정리 (ポアンカレ双対定理/Poincaré duality theorem, 대수적 위상수학)
쌍곡 덴 수술 정리 (双曲デーン手術定理/Hyperbolic Dehn surgery theorem, 대수적 위상수학)
호지-드 람-코다이라 분해 (ホッジ・ドラーム・小平分解/Hodge-de Rham-Kodaira decomposition, 미분기하학)
사드 정리 (サードの定理/Sard's theorem, 대수적 위상수학)
휴잇-마르체프스키-폰디체리 정리 (ヒューイット・マルツェフスキ・ポンディツェリの定理/Hewitt-Marczewski-Pondiczery theorem, 위상수학)
카라테오도리 정리 (カラテオドリの定理/Carathéodory's theorem, 볼록기하학)
천-가우스-보네 정리 (チャーン・ガウス・ボンネの定理/Chern-Gauss-Bonnet theorem, 미분기하학)
톰 동형 정리 (トム同型定理/Thom isomorphism theorem, 대수적 위상수학)
우리손 보조정리 (ウリゾーンの補題/Urysohn's lemma, 위상수학)
다우커 정리 (ダウカーの定理/Dowker’s theorem, 위상수학)
렙셰츠 고정점 정리 (レフシェッツの不動点定理/Lefschetz fixed-point theorem, 대수적 위상수학)




--------기타 분야--------

에덴동산 정리 (エデンの園定理/Garden of eden theorem, 전산학)
시어핀스키-마주르키에비치 역설 (シェルピンスキー・マズルキーウィチのパラドックス/Sierpiński-Mazurkiewicz paradox, 집합론)
델타 시스템 보조정리 (Δ-システム補題/Delta system lemma, 집합론)
존슨-린덴슈트라우스 보조정리 (ジョンソン・リンデンシュトラウスの補題/Johnson-Lindenstrauss lemma, 전산학)
타르스키 정의 불가능성 정리 (タルスキの定義不可能性定理/Tarski's undefinablity theorem, 수리논리학)
레비 반사 정리 (レヴィの反映性定理/Lévy-Montague reflection theorem, 집합론)
초른 보조정리 (ツォルンの補題/Zorn's lemma, 집합론)
솔로베이 정리 (ソロヴェイの定理/Solovay theorem, 집합론)
초필터 보조정리 (ウルトラフィルター補題/Ultrafilter lemma, 집합론)
일반 수반 함자 정리 (一般随伴関手定理/General adjoint functor theorem, 범주론)
자름-제거 정리 (カット除去定理/Cut-elimination theorem, 수리논리학)
정렬 원리 (整列可能定理/Well-ordering theorem, 집합론)
뢰벤하임-스콜렘 정리 (レーヴェンハイム・スコーレムの定理/Löwenheim-Skolem theorem, 모델론)
진리 보조정리 (真理補題/ Truth lemma, 수리논리학)
베른슈타인 정리 (ベルンシュタインの定理/Bernstein theorem, 집합론)
괴델의 불완전성 정리 (ゲーデルの不完全性定理/Gödel's incompleteness theorems, 수리논리학)
특수 수반 함자 정리 (特殊随伴関手定理/Special adjoint functor theorem, 범주론)
부울 소 아이디얼 정리 (ブール素イデアル定理/Boolean prime ideal theorem, 부울 대수)
초한귀납법 (超限帰納法/Transfinite induction, 집합론)
절망 정리, 농촌 병원 정리 (絶望の定理/Rural hospital theorem, 게임이론)
타입 배제 정리 (タイプ排除定理/Omitting types theorem, 모델론)