틀:Infobox mathematical statement
| 이 틀은 루아를 사용합니다. |
For compact 2-dimensional surfaces without boundary, if every loop can be continuously tightened to a point, then the surface is topologically homeomorphic to a 2-sphere (usually just called a sphere). The Poincaré conjecture, proved by 그리고리 페렐만, asserts that the same is true for 3-dimensional spaces. | |
| 유형 | 정리 |
|---|---|
| 분야 | 기하학적 위상수학 |
| 명제 | Every simply connected, closed 3-다양체 is 위상동형사상 to the 3차원 초구. |
| 추측한 사람 | 앙리 푸앵카레 |
| 추측된 날짜 | 1904 |
| 처음 증명한 사람 | 그리고리 페렐만 |
| 처음 증명된 날짜 | 2006 |
| 전제 | |
| 미해결 문제 | 아니오 |
| 일반화 | Generalized Poincaré conjecture |
사용법
[편집]틀:Infobox mathematical statement는 우측에 위치하는 정보상자를 지정된 매개변수에 기반해 생성한다. 이 틀을 사용하기 위해서는, 다음의 코드를 문서에 붙여넣고 필요에 맞추어 매개변수에 값을 지정해야 한다.
{{Infobox mathematical statement
| name =
| image =
| caption =
| type =
| field =
| statement =
| symbolic statement =
| conjectured by =
| conjecture date =
| first stated by =
| first stated in =
| first proof by =
| first proof date =
| open problem =
| known cases =
| implied by =
| equivalent to =
| generalizations =
| consequences =
}}
매개변수
[편집]모든 매개변수는 선택적이다.
name- 이름을 나타내며 정보상자의 위쪽에 위치한다. 명제의 이름이어야 한다. 예시:
Strong multiplicity one theorem,Zorn's lemma. 기본값은 페이지명이다. image- 이미지. 예시:
xxx.svg. caption- 캡션.
type- 명제의 현재 유형. 예시:
정리,추측,보조정리,공준,공리. field- 이 명제가 속한 수학의 분야. 예시:
정수론,대수 기하학과 대수적 위상수학. statement- 수학적 명제.
symbolic statement- 수학적 명제를 기호로 나타낸 것 (일상어로 된 것이 이미 제시되었을 때).
conjectured by- 처음으로 이 명제를 제기한 사람(들)의 이름
conjectured date- 이 명제가 처음 제기되었을 때의 날짜(들).
first stated by- 처음으로 이 명제를 제기한 사람(들)의 이름 (단어 "conjectured"를 사용하는 것의 대안).
first stated date- 이 명제가 처음 제기되었을 때의 날짜(들) (단어 "conjectured"를 사용하는 것의 대안).
first proof by- 이 명제를 처음으로 증명한 사람(들)의 이름.
first proof date- 이 명제가 처음으로 증명되었을 때의 날짜(들).
open problem- 이것은 미해결 문제인가? 통상적인 값은
예혹은아니오지만, 좀 더 특수한 것이 여기에 서술될 수도 있다 (예시:단 하나의 사례만 알려짐등). known cases- 알려진 경우들 (예시:
For all function fields또는For all r > 3). implied by- 이 명제를 함축하는 명제(들).
equivalent to- 이 명제를 함축할 뿐만 아니라 동시에 이 명제에 의해 함축되는 명제(들).
generalizations- 이 명제를 일반화하는 명제(들).
consequences- 이 명제에 의해 함축되는 명제(들).
틀 데이터
[편집]참이거나 거짓일 수 있는 수학의 논리적 명제에 대한 정보상자. 정리, 추측, 보조정리, 공준, 공리를 기술하기 위해 사용될 수 있다.
| 변수 | 설명 | 형식 | 상태 | |
|---|---|---|---|---|
| 제목 스타일 | titlestyle | 제목 매개변수를 꾸미기 위한 인라인 CSS. | 문자열 | 선택 사항 |
| 이름 | name | 정보상자의 위쪽에 나타나는 수학적 명제의 이름.
| 문서 이름 | 권장 |
| 이미지 | image | 이 수학적 명제를 표현하는 이미지. | 파일 | 권장 |
| 이미지 크기 | image_size imagesize | 이미지가 얼마나 커야 하는지. | 문자열 | 권장 |
| 대체 텍스트 | alt | 이미지를 설명하는 대체 텍스트이며, 스크린 리더 장치가 소리내어 읽는다. | 문자열 | 권장 |
| 캡션 | caption | 이미지의 아래에 나타나는 설명적인 텍스트. | 알 수 없음 | 권장 |
| 유형 | type | 수학적 명제의 유형.
| 내용 | 권장 |
| 분야 | field | 이 수학적 명제가 속하는 하나 이상의 분야.
| 알 수 없음 | 권장 |
| 명제 | statement | 수학적 명제. | 내용 | 권장 |
| 기호적 표현 | symbolic statement | 수학적 명제를 기호로 나타낸 것 (일상어로 된 것이 이미 제시되었을 때). | 내용 | 권장 |
| 추측한 사람 | conjectured by | 처음으로 이 명제를 제기한 사람(들)의 이름. | 내용 | 권장 |
| 추측된 날짜 | conjecture date | 이 명제가 처음 제기되었을 때의 날짜(들). | 내용 | 권장 |
| 처음 제기한 사람 | first stated by | 처음으로 이 명제를 제기한 사람(들)의 이름 (단어 "conjectured"를 사용하는 것의 대안). | 내용 | 권장 |
| 처음 제기된 날짜 | first stated date | 이 명제가 처음 제기되었을 때의 날짜(들) (단어 "conjectured"를 사용하는 것의 대안). | 내용 | 권장 |
| 처음 증명한 사람 | first proof by | 이 명제를 처음으로 증명한 사람(들)의 이름. | 내용 | 권장 |
| 처음 증명한 날짜 | first proof date | 이 명제가 처음으로 증명되었을 때의 날짜(들). | 내용 | 권장 |
| 전제 | implied by | 이 명제를 함축하는 명제(들). | 내용 | 권장 |
| 미해결 문제 | open problem | 이것은 미해결 문제인가? 통상적인 값은 예 혹은 아니오지만, 좀 더 특수한 것이 여기에 서술될 수도 있다.
| 문자열 | 권장 |
| 알려진 경우들 | known cases | 이 명제가 알려진 경우들. | 알 수 없음 | 권장 |
| 동치 | equivalent to | 이 명제를 함축할 뿐만 아니라 동시에 이 명제에 의해 함축되는 명제(들). | 내용 | 권장 |
| 일반화 | generalizations | 이 명제를 일반화하는 명제(들). | 내용 | 권장 |
| 귀결 | consequences | 이 명제에 의해 함축되는 명제(들). | 내용 | 권장 |