open-index/open-wikipedia-markdown huggingface dataset:
수학 상수

**[[수학]]**에서 **상수**(常數, )란 그 값이 변하지 않는 불변량으로, 변수의 반대말이다. 물리 상수와는 달리, 수학 상수는 물리적 측정과는 상관없이 정의된다.

수학 상수는 대개 실수체나 복소수체의 원소이다. 우리가 이야기할 수 있는 상수는 (거의 대부분 계산 가능한) 정의가능한 수이다.

특정 수학 상수, 예를 들면 골롬-딕맨 상수, 프랑세즈-로빈슨 상수, <math>\sqrt{2}</math>, 레비 상수와 같은 상수는 다른 수학상수 또는 함수와 약한 상관관계 또는 강한 상관관계를 갖는다.

## 수학 상수표

## 관련 상수들
#### [[자연로그의 밑]] 관련
* 레비 상수
* 라플라스 극한
* 알라디-그린스테드 상수
* 뤼로스 상수

#### [[감마함수]] 관련
* 오일러-마스케로니 상수
* 프랑세즈-로빈슨 상수
* 번스타인 상수
* 아페리 상수
* 시에르핀스키 상수
* 가우스 상수
* 란다우 상수

#### [[소수 (수론)|소수]] 관련
* 브룬 상수
* 밀스 상수
* 골롬-딕맨 상수
* 빽하우스 상수
* 니븐 상수
* 로크스 상수
* 르장드르 상수
* 해프너-사낙크-맥컬리 상수
* 에르되시-보어와인 상수
* 마이셀-메르텐스 상수
* 쌍둥이 소수 상수
* 알틴 상수

#### [[리만 제타 함수|리만제타함수]] 관련
* 드 브루인-뉴먼 상수
* 글레이셔-킨켈린 상수
* 포터 상수
* 가우스-쿠즈민-비어징 상수
* 킨친 상수

#### [[피보나치 수]] 관련
* 뤼카 수
* 역 피보나치 상수(Reciprocal Fibonacci constant)
* 비슈바나트 상수
* 엠브리-트레페텐 상수

#### 특정 대수방정식 관련
* 플라스틱 수
* 콘웨이 상수
* 바르가 상수(Varga constant)
* 체비쇼프 상수

## 기타 상수들
* 카앵 상수(Cahen's constant)
* 오메가 상수(Omega constant)
* 립의 4각 얼음 상수
* 유니버설 파라볼릭 상수(Universal parabolic constant)

## 같이 보기
* 함수
* 수학 기호
* 오일러의 곱셈 공식
나라 목록

섬네일|250px|스위스 제네바에 있는 국제 연합 회원국 및 비회원 GA 옵서버의 국기

이 목록에 실린 국가 기준은 1933년 몬테비데오 협약 1장을 참고로 하였다. 협정에 따르면, 국가는 다음의 조건을 만족해야 한다.
* (a) 영속적인 국민
* (b) 일정한 영토
* (c) 정부
* (d) 타국과의 관계 참여 자격

특히, 마지막 조건은 국제 공동체의 참여 용인을 내포하고 있기 때문에, 다른 나라의 승인이 매우 중요한 역할을 할 수 있다. 이 목록에 포함된 모든 국가는 보통 이 기준을 만족하는 것으로 보이는 주권적이고 독립적인 국가이다. 하지만 몬테비데오 협약 기준을 만족하는지의 여부는 많은 국가가 논쟁이 되고 있는 실정이다. 또한, 몬테비데오 협약 기준만이 국가 지위의 충분한 자격이든 아니든, 국제법의 견해 차이는 존재할 수 있다. 이 물음에 대한 다른 이론에 대한 고리는 아래에서 볼 수 있다.

## 기준
위 기준에 논거하여 이 목록은 다음 205개 국가를 포함한다.
* 일반적인 국제 승인이 있는 195개 주권 국가
** 유엔의 회원 국가 193개
** 유엔 총회의 옵서버 국가로 승인된 2개 국가: 바티칸 시국, 팔레스타인
* 주권에 부분적 승인이 있는 8개 기타 국가
** 유엔의 가입국이 아니며, 일부 유엔 회원국으로부터 승인된 3개 국가: 압하지야, 코소보, 북키프로스, 사하라 아랍 민주 공화국, 남오세티야, 중화민국
** 유엔의 가입국이 아니며, 어떠한 유엔 회원국에게도 승인되지 않은 국가: 소말릴란드, 트란스니스트리아

또한 주권을 주장하지 않으나 일부 유엔 전문 기구에 가입하고 유엔 회원국과 외교 관계를 가지는 등 부분적인 주권을 행사하는 국가가 있는데, 쿡 제도와 니우에이다. 이들은 주권 국가인 뉴질랜드와 자유연합 관계를 맺고 있다.

## 국제적으로 승인 받은 국가

## [[미승인 국가|부분적 승인 국가]]

이 목록은 주권을 주장하고 점유한 영토를 실제로 통치하는 등 국가로서 기능하고 있으나, 대부분의 국가와 외교관계를 맺지 못하거나 주권에 관한 분쟁이 있는 나라를 설명하고 있다.
가위

**가위**()는 손으로 잡아 종이 등을 쉽게 자를 수 있게 하는 도구이다. **교도**(交刀)라고도 한다. 두 장의 얇은 금속 날을 결리지 않도록 엇갈리게 나사로 엮어, 그 두 날이 지레의 원리로 움직이면서 서로 부딪치면 절단력이 발생한다. 플라스틱 판, 얇은 철판, 머리카락, 끈, 종이, 옷감, 강삭 등을 자를 때 쓰인다.

## 종류
### 핑킹가위
right|섬네일|300px|핑킹가위.
핑킹가위는 무늬를 내며 자를 때 사용하는 가위이다. 무늬의 종류는 여러가지이며 물결무늬 지그재그 톱니모양 등이 있다.

### 쪽가위
쪽가위.|섬네일|300x300픽셀
쪽가위는 실 따위를 자를 때 사용하는 가위이다. 발견된 가위 중 가장 오래된 가위가 쪽가위 형태로 제작되었다. 16세기까지 유럽에서 사용되었으며, 오늘날에도 쪽가위의 형태를 변형한 가위를 찾을 수 있다.

### X자형 가위
X자형 가위.|섬네일|300x300픽셀
X자 형태의 날을 지닌 가위이다. 서기 100년경 고대 로마에서 쪽가위 디자인을 각색하면서 발명되었다.

### 지렛대의 원리로 구분
지렛대의 원리에 바탕을 둔 것으로 지레의 작용점 · 받침점 · 힘점의 상호관계에 의하여, 힘점이 작용점과 받침점 사이에 있는 원지점식(元支點式), 지레의 받침점이 힘점과 작용점의 사이에 있는 중간지점식, 작용점이 힘점과 받침점 사이에 있는 선(先)지점식의 3가지로 구별된다.

따라서 이것을 응용한 가위도 3종으로 대별된다. 원지점식에 속하는 것으로서 손자수용 가위 · 잎따기가위 · 망(綱)베기가위 등이 있고, 중간지점식에 속하는 것으로는 재단가위 · 꽃가위 · 전정가위 · 전지가위 · 잔디가위 · 양철가위 · 버튼홀가위 · 의료가위 · 이용(理容)가위 등이 있다. 선지점식에 속하는 것은 눌러서 자르는 가위와 과일따기 가위 등이 있다.

## 유래와 역사
지금까지 발견된 세상에서 가장 오래된 가위는 기원전 1000년경 메소포타미아에서 만들어진 가위다. 특히 로마 시대의 유물로 가위가 많이 발견되었으며, 이 시대 가위는 라틴 문화 중기에 중부 및 북유럽 등으로 전해졌다. 라틴 문화의 가위는 남자의 무덤에 부장되어 있는 것으로 보아, 알려져있던 양모를 깎기 위한 것이 아니고 수염을 깎는 데 쓰인 것으로 추측된다. 그리고 로마 시대의 유물에서 발견된 날이 짧고 튼튼하게 만들어진 가위는 철사나 튼튼한 실, 얇은 철판등을 자르는 데 사용된 것으로 보인다.

한국에서 발견된 가장 오래된 가위는 경주 분황사 모전석탑에서 발견된 가위이며, 모양이나 쓰임새가 중국에서 발견된 것과 같은 걸로 보아 중국에서 건너왔을 것이라고 학자들은 말한다. 전 세계에서 발견된 유물을 비교해볼 때 가위는 서양에서 처음 만들어져 사용되다가 중국에 전해졌을 거라고 추측할 수 있다.

한국의 가위는 조선 후기 인조 이후 청나라에서 보급되었다는 설이 있었지만 1985년부터 1976년 경상북도 경주 동쪽 안압지 유적을 발굴하던 중 1976년 경주 월지 금동초심지가위(慶州 月池 金銅燭鋏) 혹은 금동촉협(金銅燭鋏)이 발견되어 8세기 경 혹은 그 이전에 가위가 존재한 것이 확인되었다. 이 가위는 후대의 가위와는 다른 손잡이 부분이 길고, 자르는 부분은 짧다. 이는 조선시대 후기의 쪽가위와 유사한 형태의 가위와도 모양이 다르다. 경주 월지 금동초심지가위는 국립경주박물관에 소장되었고 2014년 12월 31일 대한민국 보물 제1844호로 지정됐다.

## 같이 보기
* 가위 바위 보
* 칼

## 각주

## 외부 링크
* 
* 

분류:수공구
분류:공구
분류:도구
분류:절삭 공구
아오조라 문고

섬네일|아오조라 문고 로고
**아오조라 문고**()는 ‘일본어판 구텐베르크 프로젝트’로 불리는 일본의 인터넷 전자도서관으로, 저작권이 풀린 문학작품을 수집, 전자문서화해서 인터넷에 공개하고 있다. 저자 사후 50년이 지난 메이지, 쇼와 시대 초기의 일본 문학 작품이 그 대부분을 차지하고 있고, 일본어 외 문학 작품의 일본어 번역 작품도 다수 있다. 1997년 2월 도미타 미치오, 노구치 에이치, 야마키 미에, 란무로 사테이 등 4명이 창설하여 시작되었다. 2016년 연간 방문객수는 940만 건 이상이다.

아오조라 문고에 수록된 작품은 JIS X 0208에 해당되는 한자 범위 내에서 자원봉사자에 의해 아오조라 문고 형식 텍스트파일이나 HTML 파일로 전자화된다. 또 아오조라 문고 수록파일 취급기준에 따라 자유롭게 이용할 수 있기 때문에, 수록된 작품을 PC는 물론 PDA와 휴대전화로도 볼 수 있다. 텍스트 파일을 큰 글자로 인쇄하거나 전용 소프트웨어에 불러들여 시각장애인용으로 이용하는 방안도 기대되고 있다. 아오조라 문고의 열람 소프트웨어는 따로 개발 및 제공되고 있는 것은 없지만, 전자사전이나 아이폰용 어플리케이션 등은 타사에서 개발하여 출시되어 있다.

## 개요
저자 사망 이후 50년이 지나 저작권이 소멸한 메이지 시대부터 쇼와 시대 초기까지의 서적 대부분이 존재한다. 외국 번역작품이나 저자가 무료보기를 인정한 현대작품도 포함된다. 장르는 정치부터 취미까지 다양하지만, 비교적 문학작품(시대소설, 추리소설등의 오락작품 포함)이 많다. 유명작가의 작품이 모두 갖춰져있진 않지만 그래도 일본어작품에 관련해서는 충실하게 갖춰진 편이다. (번역작품의 경우 번역저작권을 문제로 수가 많지 않다.)

잘 알려지지 않은 작품을 보존, 소개하는 장점도 있다. 작품 텍스트화는 지금도 현재진행형이며 2011년 3월 15일 현재 등록작품수가 1만권이 넘었다.
고전작가인 모리 오가이, 나츠메 소세키, 아쿠타가와 류노스케, 최근의 작가로는 나카지마 아츠시, 다자이 오사무, 하야시 후미코, 미야모토 유리코, 호리 다쓰오, 사카구치 안고, 다카무라 고타로, 나가이 가후, 요시카와 에이지 등 인물의 작품이 있다.

## 운영
아오조라 문고는 자원봉사로 운영되며 열람 역시 무료이다. 서비스 개시 초반에는 보이저 사에서 서버를 제공하였다. 1998년부터 1999년까지는 토미타가 작업 수칙과 매뉴얼을 만들었다.

자원봉사로 운영되기 때문에 작품의 입력과 교정 역시 자원봉사자가 한다. 입력은 원본을 보면서 타자입력이나 스캐너로 입력하는 방법으로 이뤄진다. 또 작품을 입력하는 '입력자'와 입력된 작품을 교정하는 '교정자'는 별도의 자원봉사자가 담당한다. 따라서 작품이 공개되기 전까지는 작품을 입력한 뒤 교정자가 교정을 예약할 때까지 '교정대기' (校正待ち)가 되고, 작업을 멈추게 된다. 즉, 입력하는 자원봉사자가 작품을 입력해 교정을 맡은 자원봉사자가 교정예약을 해서, 교정작업을 완료하기 전까지는 작품을 공개할 수 없다. 때문에 입력이 완료되어도 작업 상태가 '교정대기' 상태인 작품이 증가하고
있다. 이는 입력에 비해 교정 작업이 부족하기 때문으로, 아오조라 문고 출범 당시부터 안고 있는 문제점이기도 하다. 이 문제에 대해서는 작품의 교정작업을 하지 않고 공개하는 방안과 입력자가 교정한 것도 인정하자는 방안이 제기된 적이 있지만 현재까지도 이 방안은 채택되지 못하고 있다. 대신 2011년 12월 16일 공개분부터는 기부금을 재원으로 삼은 '유상교정' 서비스가 진행되고 있다.

2013년 8월 아오조라 문고의 설립자인 토미타가 사망한 것을 계기로, 아오조라 문고에 지속적인 지원을 해줄 '책의 미래 기금' (本の未来基金)이 설립됐다. 하지만 2015년부터는 엔지니어가 없는 상태로 서버를 강제로 돌리고 있으며, 서버 자체도 노후화되고 있다는 점이 문제되고 있다. 이 때문에 2015년 5월 "'Code for 아오조라 문고' 아이디어 송"이 개최되어 향후 시스템 운용에 대한 의견 교환이 이뤄졌다. 그 이후에는 해당 모임을 바탕으로 시스템 관리와 코드수정 등을 맡는 'aozorahack' 프로젝트가 진행되고 있다.

## 형식
텍스트 파일을 아오조라 문고에 수록할 때, 텍스트 파일이 갖추어야 할 서식을 '아오조라 문고' 형식이라 부른다.

아오조라 문고 형식은 텍스트 파일로서 많은 환경에서 읽을 수 있도록 규격화되어있다. 때문에 가능한 한 원본의 충실한 재현을 목표로 삼고 있지만, 줄 바꿈이나 삽화 등의 정보는 원칙적으로 포함되지 않는다.

아오조라 문고 형식에 대응하는 텍스트 뷰어와 텍스트 편집기도 존재하며, 올림문자와 방점 등도 재현할 수 있다. 또 이러한 텍스트 뷰어에서는 본래 아오조라 문고 형식에 포함되지 않았던 삽화 정보를 삽입하거나 세로쓰기로 표시할 수 있으며, 텍스트를 읽기 쉽도록 만드는 다양한 기능이 포함되어 있다. 이러한 소프트웨어는 유료와 무료를 불문하고 종류가 다양하다.

### 올림문자
일본어 표기에 많이 쓰이는 올림문자 (후리가나)는 그대로 올려쓰지 않고 '｜'나 '《》'로 표시한다. 올림문자를 《》 로 묶거나 ｜로 올릴 문자열을 특정하는 방식은 일본 시각장애인 독서지원협회 (BBA)의 원문입력 수칙에 따른 것이다.

이 같은 방식을 예시로 들자면 다음과 같다.
:青空｜文庫《ぶんこ》 
라고 표기했다면 'ぶんこ' (분코)라는 올림표기가 '文庫' 부분에 걸려 있는 것이다. 다만,
:本日は晴天《せいてん》なり。 
처럼 올림표기를 쓸 한자가 가나로 충분히 구분된다면 ｜를 써서 분리할 필요가 없으므로 쓰지 않는다. 또한,
:｜ブルースカイ《青空》 
처럼 가나에 올림표기를 강제로 쓰는 것도 가능하다.

## 각주

## 같이 보기
* 위키문헌
* 오픈 콘텐트 얼라이언스

## 외부 링크
* 아오조라 문고

분류:전자 도서관
분류:일본 문학
프로젝트 구텐베르크

섬네일|로고
**프로젝트 구텐베르크**(Project Gutenberg, **PG**)는 인류의 자료를 모아서 전자정보로 저장하고 배포하는 프로젝트로, 1971년 미국인 마이클 하트(Michael Hart)가 시작했다.

인쇄술을 통해 지식의 전달을 급속도로 확장시킨 요하네스 구텐베르크의 이름에서 따온 것으로, 인터넷에 전자화된 문서(e-text)를 저장해 놓고 누구나 무료로 책을 받아 읽을 수 있는 가상 도서관을 만드는 것을 목표로 한다. 수많은 자원봉사자들이 인터넷을 이용해 기여하여 만들어지는 프로젝트로 수많은 고전의 원문이 모여 있다.

2006년 3월 프로젝트 구텐베르크 발표에 따르면, 프로젝트는 18,000개 항목 이상의 전자문서를 보유하고 있으며, 매주 50여개의 새로운 전자책이 새롭게 등록되고 있다고 한다.

프로젝트에 등록된 전자책은 대부분이 서구의 문학작품으로 이루어져 있다. 소설, 시, 단편소설, 드라마 등의 문학작품 외에 요리책, 사전류, 정기간행물이 포함되어 있다. 또한 일부 오디오 파일과 음악 악보 파일도 갖고 있다.

대부분은 영문 서적이지만, 독일어, 프랑스어, 이탈리아어, 에스파냐어, 네덜란드어, 핀란드어, 중국어, 포르투갈어, 라틴어, 스웨덴어, 라틴어, 에스페란토로 된 책도 있으며, 여타 언어 문서도 꾸준히 증가하고 있다.

문서는 주로 아스키 문자 집합, 때때로 ISO-8859-1 문자 집합으로 인코딩된 텍스트문서를 언제나 내려받을 수 있으며, HTML등의 다른 형식의 문서도 받을 수 있다. 편집이 어려운 PDF 등의 문서형식은 프로젝트가 지향하는 바와 맞지 않는 것으로 여겨지지만, PDF형식을 이용할 수 있는 문서도 있다. 최근 수년동안 XML형식을 도입할지에 대한 토론이 있었지만, 토론은 지지부진하다.

## 기술의 발전
1990년대 들어 스캐닝과 OCR기술에 힘입어 마이클 하트는 컴퓨터 제조회사에서 스캐닝장비를 기증받아 문서를 스캐닝한후 OCR소프트웨어로 이를 텍스트화하는 작업을 구축하였다. 이러한 형태의 발전된 프로세스는 현재 주요한 작업기술이다. 한편 PG는 다중원본제공을 지원하며 또한 사용자 제공 콘텐츠 절차를 지원한다. 이는 셀프 출판을 의미한다.

## 라이선스
프로젝트 구텐베르크 라이선스(The Project Gutenberg License,PGL)는 아래와 같은 2개의 큰 맥락을 갖는다.

# 구텐베르크 프로젝트에 영구적, 전 세계적, 비 독점, 철회 불가능한 저작권 라이선스를 부여하고, 무제한적인 재배포를 허용함.
# 작품은 플레인 텍스트 또는 HTML버전, 또는 두 가지 버전으로 제공되어야 함.

이러한 프로젝트 구텐베르크 라이선스는 이후 몇몇 추가된 라이선스를 도입했으며 이전의 라이선스와 추가변형된 라이선스는 '프로젝트 구텐베르크'의 공식웹사이트에서 전문을 확인할 수 있다.

## 같이 보기
* 직지 프로젝트 - 대한민국에서 프로젝트 구텐베르크의 모티브를 얻어 진행되는 프로젝트.
* 아오조라 문고

## 각주

## 외부 링크
* 
* 

분류:미국의 도서관
분류:미국의 웹사이트
분류:전자 도서관
분류:책 웹사이트
분류:미디어위키 웹사이트
분류:다언어 웹사이트
분류:오픈 액세스
분류:퍼블릭 도메인
분류:요하네스 구텐베르크
분류:1971년 설립된 단체
분류:교육 프로젝트
귄터 그라스

**귄터 그라스**(, 1927년 10월 16일 ~ 2015년 4월 13일)는 독일의 소설가이자 극작가다.

## 생애
독일 단치히 자유시(오늘날 폴란드의 그단스크)에서 식료품 상인이었던 독일계 아버지와 슬라브계 어머니 사이에서 태어났다. 하버드 대학에서 명예박사학위를 받았다. 1999년에 노벨 문학상을 수상하였다.

### 제2차 세계 대전과 그라스
제2차 세계 대전 당시 독일 제국노동봉사대(RAD)에서 근무하던 중, 1944년에 무장친위대에 입대하여 10 SS기갑사단 프른즈베르크로 발령받아 참전했다. 징집당한 것이라는 얘기도 있으나, 당시 친위대의 독일인 대원들은 징집 대상이 아니라 자원 입대가 기본이었다(국방군 육군은 징병제였다.). 종전후 부상당한 채 미군 포로로 잡혀 1946년까지 포로 수용소에 수감되었다. 이런 사실은 그라스 자신이 최근 발간한 자서전에서 인정했다.

### 전쟁 후의 그라스
전후 1947~48년에는 광산에서 일하며 석공 기술 과정을 마친다. 이어 1948년부터 1952년까지는 뒤셀도르프 미술대학에서 그래픽과 조각을, 1953년부터 1956년까지는 베를린 예술대학에서 조각을 배웠다.

## 작품 활동
1955년 슈투트가르트 방송국의 서정시 경연대회에 입상하고, 1956~57년에 예술 작품 전시와 별도로 작가 활동을 시작했다. 1958년까지 단문, 시, 희곡 등을 발표한다. 1954년에 결혼을 하고, 1960년부터 계속 베를린에 산다. 1959년에 매우 묘사적인 언어로 나중에 영화화 되기까지 한 《양철북》을 발표했다. 이 작품으로 그는 제2차 세계 대전 후 처음으로 세계 문학계에 이름을 날린 독일 작가가 된다. 이어  에서도 전쟁 전과 전쟁 후에 걸친 시대의 과오와 대결하고 있으며, 무대는 다같이 단치히이다. 이밖의 작품에   등이 있다. 1996년 유럽문화공로상을 받았다.

### 희곡
그는 소설가로 활약하는 한편, 부조리극적인 소품(小品)인    등을 발표한 바 있는데, 현대정치에도 직접 행동으로 참가하여 동·서 독일의 분열이라는 가장 현실적인 문제에 대담하게 도전한 (1965)을 발표했다. 1953년 동독의 폭동 당시 브레히트를 모델로 하여 예술과 정치의 관련을 추구한 작품으로 이 있다.

### 주요 작품
* 단치히 삼부작(Danziger Trilogie)
** 《양철북》(*Die Blechtrommel*, 1959년)
** 《고양이와 쥐》(*Katz und Maus*, 1961년)
** 《개들의 시절》(*Hundejahre*, 1963년)
* 《넙치》(*Der Butt*, 1979년)
* 《암쥐》(*Die Rättin*, 1986년)
* 《광야》(*Ein weites Feld*, 1995년)
* 《게 걸음으로 가다》(*Im Krebsgang*, 2002년)

## 사회 활동
그라스는 전후 독일 사회민주당의 주요 지지자가 되어 외국인 혐오증, 신나치주의 등에 반대하는 사회활동에 적극 참여하였다.

## 같이 보기
* 노벨 문학상 수상자 목록

## 각주


## 외부 링크
* 
* 
* 
* 


분류:1927년 출생
분류:2015년 사망
분류:노벨 문학상 수상자
분류:독일의 소설가
분류:독일의 극작가
분류:무장친위대원
분류:독일의 노벨상 수상자
분류:쿤스트아카데미 뒤셀도르프 동문
분류:독일의 자서전 작가
분류:독일의 회고록 작가
분류:독일의 사회주의자
분류:독일의 로마 가톨릭교도
분류:20세기 시인
분류:21세기 시인
분류:20세기 조각가
분류:독일의 수필가
분류:독일의 조각가
분류:게오르크 뷔히너상 수상자
분류:20세기 수필가
분류:21세기 수필가
데니스 리치

**데니스 매캘리스터 리치**(, 1941년 9월 9일~2011년 10월 12일)는 미국의 저명한 컴퓨터과학자이자 현대 컴퓨터과학의 선구자이다. 프로그래밍 언어 C와 유닉스의 개발자로 알려져 있다.

## 생애
미국의 뉴욕주 브롱크스빌(Bronxville)에서 태어났으며, 1968년 하버드 대학교에서 응용수학 박사학위를 얻었다. 1968년부터 벨 연구소 컴퓨터 연구 센터에서 일했다. 2007년 루슨트 테크놀로지의 시스템 소프트웨어 연구부장으로 은퇴했다. 홀로 살고 있던 그는 미국 시각으로 2011년 10월 12일 뉴저지주 버클리 헤이츠의 자택에서 사망한 채로 발견되었다. (향년 71세)

## 업적
켄 톰슨(Ken Thompson) 등과 함께 최초의 유닉스(Unix) 시스템을 개발했고, 1971년 최초의 〈Unix Programmer's Manual〉을 썼다. 또한 C 언어를 개발한 후 브라이언 커니핸과 함께 〈C 프로그래밍 언어〉(The C Programming Language)를 기술했다. 커니핸과 〈C 프로그래밍 언어〉책을 썼기에 커니핸이 C 언어 개발에 참여한 것으로 종종 오해받으나 커니핸의 말에 따르면 자신은 C언어 개발에 참여하지 않았다고 한다.

ALTRAN, B언어, BCPL, Multics 등의 개발에도 영향을 끼친 것으로도 알려져 있다.

1983년에 켄 톰프슨과 "범용 운영체제 이론개발, 특히 유닉스 운영체제의 구현에 대한 공로"로 튜링상을 수상했다.

미국의 경제 전문지 '비즈니스 인사이더'에서는 '현재의 애플 컴퓨터는 거의 모두 데니스 리치의 업적에 기반하고 있다'이라며 그의 업적을 평가했다. 현재 애플 매킨토시의 macOS와 아이폰의 iOS는 모두 유닉스 운영체제를 기반으로 만들어져 있다.

## 저서
* 〈C 프로그래밍 언어〉 (The C Programming Language) (1978년 브라이언 커니핸과 공저)
* 〈Unix Programmer's Manual〉 (1971년)

## 각주

## 외부 링크
* 
* , Bell Labs

분류:1941년 출생
분류:2011년 사망
분류:미국의 컴퓨터 과학자
분류:튜링상 수상자
분류:하버드 대학교 동문
분류:뉴욕주 출신
분류:컴퓨터 선구자
분류:프로그래밍 언어 설계자
분류:유닉스 관계자
분류:서밋 (뉴저지주) 출신
분류:국립 기술혁신 메달 수상자
나라 이름순 수도 목록

## ㄱ

*  - 아크라
*  - 리브르빌
*  - 조지타운
*  - 반줄
*  - 과테말라
*  - 세인트조지스
*  - 아테네
*  - 코나크리
*  - 비사우

## ㄴ
*  - 빈트후크
*  - 야렌
*  - 아부자
*  - 주바
*  - 프리토리아(행정), 블룸폰테인(사법), 케이프타운(입법)
*  - 암스테르담(헌법 상), 헤이그(행정)
*  - 카트만두
*  - 오슬로
*  - 웰링턴
*  - 니아메
*  - 마나과

## ㄷ
*  - 서울특별시
*  - 코펜하겐
*  - 로조
*  - 산토도밍고
*  - 베를린
*  - 딜리
*-타이베이

## ㄹ

*  - 비엔티안
*  - 몬로비아
*  - 리가
*  - 모스크바
*  - 베이루트
*  - 마세루
*  - 부쿠레슈티
*  - 룩셈부르크
*  - 키갈리
*  - 트리폴리
*  - 빌뉴스
*  - 파두츠

## ㅁ
*  - 안타나나리보
*  - 마주로
*  - 스코페
*  - 릴롱궤
*  - 쿠알라룸푸르, 푸트라자야(행정)
*  - 바마코
*  - 멕시코시티
*  - 모나코
*  - 라바트(입법), 카사블랑카(행정)
*  - 포트루이스
*  - 누악쇼트
*  - 마푸투
*  - 포드고리차
*  - 키시너우
*  - 말레
*  - 발레타
*  - 울란바타르
*  - 워싱턴 D.C.
*  - 네피도

## ㅂ

*  - 포트빌라
*  - 마나마
*  - 브리지타운
*  - 바티칸
*  - 나소
*  - 다카
*  - 포르토노보
*  - 카라카스
*  - 하노이
*  - 브뤼셀
*  - 민스크
*  - 벨모판(행정), 벨리즈시티(사실상)
*  - 사라예보
*  - 가보로네
*  - 수크레(헌법 상), 라파스(행정)
* (독립예정) - 부카(명목상), 아라와(명목상)
* - 기테가
*  - 와가두구
*  - 팀푸
*  - 벨파스트
*  - 소피아
*  - 브라질리아
*  - 반다르스리브가완

## ㅅ

*  - 아피아
*  - 리야드
*  - 엘아이운
*  - 산마리노
*  - 상투메
*  - 다카르
*  - 베오그라드
*  - 빅토리아
*  - 캐스트리스
*  - 킹스타운
*  - 바스테르
*  - 제임스타운
*  - 모가디슈
*  - 하르게이사
*  - 호니아라
*  - 하르툼
*  - 파라마리보
*  - 스리자야와르데네푸라코테(사실상), 콜롬보(행정)
*  - 스톡홀름
*  - 베른
*  - 에든버러
*  - 마드리드
*  - 브라티슬라바
*  - 류블랴나
*  - 다마스쿠스
*  - 프리타운
*  - 싱가포르

## ㅇ

*  - 아부다비(입법), 두바이(행정)
*  - 예레반
*  - 부에노스아이레스
*  - 레이캬비크
*  - 포르토프랭스
*  - 더블린
*  - 바쿠
*  - 카불
*  - 안도라라벨랴
*  - 티라나
*  - 알제
*  - 수후미
*  - 루안다
*  - 세인트존스
*  - 더밸리
*  - 아스마라
*  - 음바바네(행정), 로밤바(입법)
*  - 탈린
*  - 키토(행정), 과야킬(입법)
*  - 아디스아바바
*  - 산살바도르
*  - 조지타운
*  - 런던
*  - 사나, 아덴(임시 수도)
*  - 무스카트
*  - 캔버라
*  - 빈
*  - 테구시갈파
*  - 암만
*  - 캄팔라
*  - 몬테비데오
*  - 타슈켄트
*  - 키이우
*  - 카디프
*  - 바그다드
*  - 테헤란
*  - 텔아비브(사실상), 예루살렘(주장)
*  - 카이로
*  - 로마
*  - 뉴델리(입법), 뭄바이(행정)
* - 자카르타(현재), 누산타라(2024년 8월 이전 예정)
*  - 도쿄 (오만은 내 지역)

## ㅈ

*  - 킹스턴
*  - 루사카
*  - 말라보,시우다드데라파스(미래 수도)
*  - 평양(사실상),신의주(최대도시),서울특별시(헌법상)
*  - 트빌리시
*  - 방기
*  - 타이베이(사실상), 난징(주장)
*  - 베이징
*  - 지부티
*  - 하라레

## ㅊ
*  - 은자메나
*  - 프라하
*  - 산티아고

## ㅋ
*  - 야운데
*  - 프라이아
*  - 아스타나
*  - 도하
*  - 프놈펜
*  - 오타와
*  - 나이로비
*  - 모로니
*  - 프리슈티나
*  - 산호세
*  - 야무수크로
*  - 보고타
*  - 브라자빌
*  - 킨샤사
*  - 아바나
*  - 쿠웨이트시티
*  - 자그레브
*  - 비슈케크
*  - 타라와
*  - 니코시아

## ㅌ

*  - 두샨베
*  - 도도마
*  - 방콕
*  - 앙카라
*  - 로메
*  - 누쿠알로파
*  - 아슈하바트
*  - 푸나푸티
*  - 튀니스
*  - 포트오브스페인

## ㅍ

*  - 파나마시티
*  - 아순시온
*  - 이슬라마바드
*  - 포트모르즈비
*  - 응게룰무드
*  - 라말라(사실상) / 예루살렘(주장), 요르단강 서안 지구 / 가자 지구
*  - 리마
*  - 리스본
*  - 바르샤바
*  - 산후안
*  - 파리
*  - 수바
*  - 헬싱키
*  - 마닐라

## ㅎ

*  - 부다페스트

## 각주


## 같이 보기
* 수도 이름순 수도 목록

분류:나라 목록
분류:수도 목록
히라가나

**히라가나**(, )는 일본어에서 사용하는 두 가지 가나 가운데 하나다. 가타카나는 주로 외래어 표기 등에 쓰고, 히라가나는 다음과 같은 용도로 쓴다.

* 동사의 활용 어미, 조사, 조동사
* 일본 고유어로서 해당 한자가 없는 단어, 또는 해당하는 한자가 잘 쓰지 않는 어려운 글자일 때.
* 어린이가 사용하는 일본어의 뉘앙스를 보여 주고 싶을 때

히라가나는 여성이 많이 썼다고 한다. 그래서 온나데()라고 불린 적도 있다. 이런 이유로 히라가나는 여자들만 쓰는 글이라 하여 오랫동안 일본 공용 문서에서 가타카나와 한자(칸지)만 사용했다. 현재 일본 철도 역명판에는 히라가나와 칸지가 적혀 있다. 히라가나는 헤이안 시대부터 썼다고 알려져 있다. 일본 유아들도 가나를 배울 때 히라가나를 먼저 배우고 가타카나를 나중에 배우기 때문에 유아용 그림책 등에는 가타카나로 쓴 단어 위에 히라가나를 후리가나로 덧붙이기도 한다. 음절문자다.

한영 자판 상태에서 히라가나를 입력할 경우 ㄸ+한자 키를 누르면 된다. 가타카나는 장음 등 일부 문자를 제외하면 꼭 ㅃ+한자 조합을 해야 한다.

세로쓰기할 경우 한 줄은 위에서 아래로 쓰고, 줄은 오른쪽에서 왼쪽으로 쓴다. 가로쓰기의 경우 왼쪽에서 오른쪽으로 쓴다.

## 히라가나 50음도

### 탁음

### 반탁음

*로마자 표기는 헵번 방식을, 한글 표기는 국립국어원 외래어 표기법의 어중/어말 표기법을 따랐다.
*회색으로 표시한 와 는 현대 일본어에서는 고유명사 등을 제외하면 사용되지 않는다.
*은 한글의 받침 ㅇ, ㅁ, ㄴ 등에 해당한다.

## 역사
히라가나는 만요가나에서 왔다.

495px

메이지 시대 이전에는 히라가나의 모양이 확실히 정해지지 않고, 여러 형태의 문자가 사용되었다. 메이지 시대의 학제 시행 후에야 위와 같은 자형이 표준화되어 쓰이기 시작했다. 위 이외의 구식 자형은 헨타이가나(変体仮名)라고 부른다.

## 같이 보기
* 가타카나
* 초서

## 외부 링크
* 
* 히라가나 듣기 테스트
* 일본어 히라가나 - 50음도
* 히라가나 유니코드 차트

히라가나
분류:한자파생문자
하인리히 뵐

**하인리히 뵐**(Heinrich Böll , 1917년 12월 21일 ~ 1985년 7월 16일)은 독일의 소설가다.

## 생애
1917년 쾰른에서 목공예 가문의 여섯 번째 아들로 태어났다. 전후 가장 먼저 두각을 나타낸 독일작가들 중 하나. 청소년기 나치 하에서 히틀러 유겐트의 유혹을 뿌리치고, 참여하지 않는다. 서점의 견습공으로 있다가, 카이저 빌헬름 김나지움을 졸업하고 1939년 쾰른대학교 독문학과에 입학하나 곧 제2차 세계대전에 징집되었다. 프랑스, 루마니아, 헝가리, 러시아 등지에서 복무한다. 4차례 부상당한 후 1945년 4월 미군에게 포로로 잡혀 2년이 지나 그의 나이 30에 전업작가가 된다. 전후 귀향하여 ‘전쟁에서 본 것’과 전후의 ‘폐허’에 대해서 쓰기 시작했다.

1949년 병사들의 절망적인 삶을 묘사한 『열차는 정확했다』를 시작으로, 참혹한 참전 경험과 전후 독일의 참상을 그린 작품들을 주로 발표했다. 1951년 '47그룹 문학상'을 받으면서 문인으로서의 위치를 다졌고, 1953년에 출간한 『그리고 아무 말도 하지 않았다』로 비평가와 독자들 모두로부터 찬사를 받으며 작가로서의 대성공을 거두었다. 이외에도 사회적으로 엄청난 반향을 일으킨 문제작 『카타리나 블룸의 잃어버린 명예』를 비롯해 『9시 반의 당구』, 『어느 광대의 견해』, 『신변 보호』 등의 작품을 집필했다. 1967년에는 독일 최고 권위의 문학상인 '게오르크 뷔흐너 상'을 수상했다.

1970년대에는 사회 참여가 더욱 적극적이 되었고 이에 따라 독일 사회와의 갈등도 심화되었다. 특히 1969년과 1972년 뵐은 귄터 그라스와 함께 사회민주당으로의 정권교체를 위해 선거 유세에 직접 참여하며 빌리 브란트를 적극 지지했다. 또한 1971년 독일인으로서는 최초로 국제 펜클럽 회장으로 선출되어 세계 곳곳에서 탄압받고 있는 작가와 지식인들의 석방을 위해 노력했다. 1971년에는 성취 지향 사회에 대한 저항을 담은 ≪여인과 군상≫을 발표하고 이듬해 노벨문학상을 수상했다. 1929년의 토마스 만 이후 독일이 이 상을 받은 것은 43년 만이었다. 그의 작품은 30개 이상의 언어로 번역되었고, 그는 아직까지 독일에서 가장 많이 읽히는 작가로 알려져 있다. 문학 작품뿐만 아니라 행동으로도 보다 나은 사회를 위한 활동에 진력했던 뵐은 1985년 동맥경화로 세상을 떠났다.

그의 죽음 이후 독일 녹색당은 그의 저항적 삶을 기리기 위하여 당의 정책 연구소 이름을 '하인리히 뵐 연구소'라고 짓기로 결정하였다.

## 주요 작품
* *[[열차는 정확했다]] (Der Zug war pünktlich)* (1947)
* *유언(Das Vermächtnis)* (1948)
* *방랑자여, 그대 스파르타로 가거든…… (Wanderer, kommst du nach Spa…)* (1950)
* *검은 양들 (Die schwarzen Schafe)* (1951)
* *아담, 너는 어디 있었는가? (Wo warst du, Adam?)* (1951)
* *천사는 말이 없었다 (Der Engel schwieg)* (1952)
* *성탄절 시기에는 안 된다 (Nicht zur Weihnachtszeit)* (1952)
* *그리고 아무 말도 하지 않았다 (Und sagte kein einziges Wort)* (1953)
* *문지기 없는 건물 (Haus ohne Hüter)* (1954)
* *어린시절의 빵 (Das Brot der frühen Jahre)* (1955)
* *아일랜드의 일기 (Irisches Tagebuch)* (1957)
* *흔적 없이 사라진 사람들 (Die Spurlosen)* (1957)
* *무르케 박사의 누적된 침묵과 기타 풍자적 이야기들 (Dr. Murke's gesammeltes Schweigen und andere Satire)* (1958)
* *[[9시 반의 당구]] (Billard um halb zehn)* (1959)
* *한 움큼의 흙 (Ein Schluck Erde)* (1962)
* *어느 어릿 광대의 견해 (Ansichten eines Clowns)* (1963)
* *군대에서부터의 이탈 (Entfernung von der Truppe)* (1964)
* *어떤 공무여행의 끝 (Ende einer Dienstfahrt)* (1966)
* *여인과 군상 (Gruppenbild mit Dame)* (1971)
* *카타리나 블룸의 잃어버린 명예 (Die verlorene Ehre der Katharina Blum)* (1974)
* *사려깊은 포위 (Fürsorgliche Belagerung)* (1979)
* *그 소년이 어떻게 될 것인가?：책들과 관계 있는 어떤 것 (Was soll aus dem Jungen bloss werden? Oder: Irgendwas mit Büchern)* (1981)
* *지뢰밭 (Vermintes Gelände)* (1982)
* *치명적 부상 (Die Verwundung)* (1983)
* *강 풍경을 마주보고 있는 여인 (Frauen vor Flusslandschaft)* 1985 (사후 출간) (1985)

## 같이 보기
* 독일 문학

## 외부 링크

*  하인리히 뵐 재단
* 한국 하인리히 뵐 학회


분류:1917년 출생
분류:1985년 사망
분류:독일의 소설가
분류:노벨 문학상 수상자
분류:쾰른 대학교 동문
분류:독일의 노벨상 수상자
분류:쾰른 출신
분류:독일의 로마 가톨릭교도
분류:게오르크 뷔히너상 수상자
분류:국제펜클럽
분류:폐허 문학
분류:미국철학학회 회원
방정식

[섬네일|1557년 [로버트 레코드가 저술한 《기지의 숫돌》에 나오는 등호를 사용한 최초의 방정식. 현대 표기에서의 14*x* + 15 = 71과 같은 의미이다.]]
**방정식**(方程式, )은 미지수의 값에 따라 참, 거짓이 결정되는 등식이다.

방정식을 참이 되게 하는(성립하게 하는) 미지수의 값을 **[[근 (수학)|해]]**(解, solution) 또는 **[[근 (수학)|근]]**(根, root)이라 한다. 방정식의 해는 없을 수도 있고, 여러 개일 수도 있고, 모든 값일 수도 있다. 첫 번째의 경우는 불능이라고 하고, 마지막의 경우는 항등식(부정)이라 한다.

예를 들어
:x^2-5x+6=0 
은 미지수 x의 값에 따라 등식의 참과 거짓이 결정되므로 방정식이고, 그 해는 2와 3이다. 한편
:(x+1)^2=x^2+2x+1
은 문자 x가 어떤 값이든 항상 등호가 성립하므로 항등식이다. 그리고
:0\cdot x=2
는 x가 어떤 값이든 항상 등호가 성립하지 못하므로 불능이다.

방정식의 방정(方程)은 고대 중국의 산학서인 구장산술의 여덟 번째 장의 제목인 方程에서 유래하였다. 여기서 方은 연립방정식의 계수를 직사각형 모양으로 배열한다는 뜻이고, 程은 이렇게 배열한 계수를 조작하여 해를 구하는 과정을 뜻한다. 이 해법은 약 1500년 뒤에 등장하는 가우스 소거법에 해당한다. 고대 중국의 수학자들은 이 과정에서 음수의 계산도 자유자재로 할 수 있었다.

방정식에서 미지수를 나타내는 문자로 보통 로마자의 뒤쪽 문자인 x, y, z 등을 사용한다. 이는 프랑스의 수학자 겸 철학자인 르네 데카르트가 시초이다.

방정식은 다양한 종류가 존재한다.

## 예시
### 다항 방정식

[섬네일|right|220px|[이차방정식 의 두 근인 -1과 2는 이차 함수 의 그래프가 x축과 만나는 교점이다.]]
유리수, 실수, 복소수 등 체의 원소를 계수로 가지는 다항식 P와 Q에 대해
:P=0 또는 P=Q
로 표현되는 식을 **다항 방정식**(多項方程式, ) 또는 **대수방정식**(代數方程式, ))이라고 한다.

차수가 인 다항식으로 이루어진 다항 방정식을 **차 방정식**이라고 한다. 즉 차수가 1인 방정식을 일차 방정식, 2인 방정식을 이차 방정식과 같이 부른다. 예를 들어
:2x+1=3
은 일차 방정식이고,
:x^2-x-2=0
은 이차 방정식이다.

다항 방정식은 여러 개의 미지수를 가질 수도 있다. 예를 들어
:x^5-3x+1=0
는 미지수가 x 하나인 정수계수 다항 방정식이고,
:y^4+\frac{xy}{2}=\frac{x^3}{3}-xy^2+y^2-\frac{1}{7}
는 미지수가 x,y 두 개인 유리수계수 다항 방정식이다.

어떤 유리수계수 다항 방정식은 계수들의 사칙연산과 거듭제곱근만을 이용해 근을 표현할 수 있다. 특히 사차 이하의 다항 방정식은 항상 이러한 방식으로 근을 표현할 수 있다. 즉, 근의 공식이 존재한다. 흔히 **근의 공식**이라고 하면 이차 방정식의 근의 공식()을 의미한다. 예를 들어 이차 방정식
:ax^2 + bx + c = 0, (a\neq0)
은
:x=\frac{-b \pm \sqrt {b^2-4ac\ }}{2a}
을 두 근으로 가지며, 따라서 계수들의 사칙연산과 거듭제곱근만으로 근이 표현된다. 그러나 아벨-루피니 정리에 의하면 오차 이상의 다항방정식은 이러한 방식으로 표현할 수 없는 근이 존재한다.

한편 대수학의 기본 정리에 따르면 모든 복소계수 다항 방정식은 하나 이상의 복소수 근을 가진다.

### 무리 방정식
방정식의 항에 무리식(루트)을 포함하는 다항식으로 이루어진 방정식을 무리 방정식이라 한다. 예를 들어
: x+ \sqrt{x+1} - 1 = 0 
는 무리 방정식이다. 위 방정식을 풀면
: x- 1 = -\sqrt{x+1} 
: (x- 1)^2 = (-\sqrt{x+1})^2 
: (x- 1)(x- 1) = x+1 
: x^2-3x=x(x-3)=0 
가 되어  x= 0, 3이 된다. 그런데 무리 방정식에는 위처럼 유도과정을 거쳐 찾은 값이 방정식에 대입했을 때는 성립하지 않는 무연근이 존재할 수 있다. 따라서 앞에서 얻은 값이 무리방정식의 근이 되는지 검산하는 과정이 필요하다. 예시의 방정식에서  x= 0을 대입하면 식이 성립하지만,  x= 3을 대입하면 성립하지 않음을 알 수 있다. 따라서 x=3은 무연근이고,  x=0만이 무리 방정식의 근이다.

### 연립 방정식
연립 방정식은 서로 다른 2개의 미지수가 주어진 방정식들에 모두 적합할 때 이 방정식의 쌍을 의미한다. 연립 방정식도 미지수의 차수에 따라 연립 일차 방정식, 연립 이차 방정식 등으로 나뉜다. 연립 일차 방정식에선 y=ax+b와 같이 한 미지수를 어떠한 값으로 나타내어 이 값을 그 미지수에 대입하는 방법인 대입법과 미지수의 계수를 같게 곱하여 둘을 더하거나 빼서 그 미지수를 없애는 가감법, 그리고 행렬을 이용한 가우스 소거법이 주로 사용된다.

### 미분방정식

[섬네일|[오일러 방정식은 유체의 비점성 흐름을 다루는 미분방정식이다.]]
미분방정식은 함수와 그 도함수들로 표현되는 방정식이다. 일반적으로 어떤 물리적 대상을 표현하는 함수에 대해 그 도함수는 대상의 변화율을 의미하며, 따라서 물리적 대상과 그 변화율 간의 관계는 미분 방정식으로 표현된다. 미분 방정식은 공학, 물리학, 화학, 생물학, 경제학 등 수학 외의 학문에서도 중요한 역할을 차지한다.

#### 상미분방정식

상미분방정식은 하나의 독립 변수만을 가지는 미분 방정식이다.

#### 편미분방정식

편미분방정식은 여러 개의 독립 변수를 가지는 미분 방정식이다.

## 각주

## 같이 보기
* 디오판토스 방정식
* 다항식
* 수식
* 항등식
* 부등식
* 연립방정식
* 가우스 소거법
* 소거법
* 근 (수학)
* 무연근

## 외부 링크
* 

분류:방정식
분류:초등대수학
체비쇼프 다항식

수학에서 **체비쇼프 다항식**(Чебышёв多項式, )은 삼각 함수의 항등식에 등장하는 직교 다항식열이다.

## 정의
(실수 n차 일계수 다항식의 집합을 \mathrm{Mon}(n;\mathbb R)로 적자.)

실수 n차 다항식 \operatorname T_n\in\mathbb R[x]에 대하여, 다음 네 조건이 서로 동치이며, 이를 만족시키는 \operatorname T_n을 n차 **체비쇼프 다항식**이라고 한다.
* (재귀적 정의) \operatorname T_n(x)=2x\operatorname T_{n-1}(x)-\operatorname T_{n-2}(x)이며, \operatorname T_0(x)=1이며, \operatorname T_1(x)=x이다.
* (삼각 함수 정의) 항등식 \operatorname T_n(\cos\theta)=\cos n\theta가 성립한다.
* \operatorname T_n은 (-1,1)에서 서로 다른 n개 실근을 가지며, [-1,1]에서 절댓값이 서로 같은 n+1개 극값을 갖는다.
* (최소 상한 노름)\frac1{2^{n-1}}\max_{x\in[-1,1]}|\operatorname T_n(x)|=\min_{f\in\mathrm{Mon}(n;\mathbb R)}\max_{x\in[-1,1]}|f(x)|
드무아브르의 공식의 실수부를 비교하면 \cos nx가 \cos x의 n차 다항식으로 표현된다는 것을 알 수 있다. 좌변의 실수부는 \cos nx, 우변의 실수부는, \cos x와 \sin^2x의 다항식이다.

## 성질
### 직교성
체비쇼프 다항식들은 다음의 무게 함수에 대해, 구간 [-1,1]에서 직교한다.
:\frac{\mathrm dx}{\sqrt{1-x^2}}
즉, 다음이 성립한다.
:\int_{-1}^1\operatorname T_n(x)\operatorname T_m(x)\,\frac{\mathrm dx}{\sqrt{1-x^2}}=0\qquad(n \neq m)

### 대칭
짝수 차수의 체비쇼프 다항식은 짝함수이며, 홀수 차수의 체비쇼프 다항식은 홀함수이다.
:\operatorname T_n(-x)=(-1)^n\operatorname T_n(x)

### 근
n차 체비쇼프 다항식 \operatorname T_n은 닫힌구간 [-1,1] 속에서 n개의 서로 다른 근을 가지며, 이들은 다음과 같다.
:x_k=\cos\frac{(2k-1)\pi}{2n}\qquad(k\in\{1,2,\dotsc,n\})

### 분지점
체비쇼프 다항식을 복소수 함수
:\operatorname T_n\colon\mathbb{CP}^1\to\mathbb{CP}^1
로 여길 때, n>0의 경우 다음이 성립한다.
* 분지점에서의 값들은 모두 \pm1 또는 \widehat\infty이다.
* 값이 \pm1인 분지점들의 경우, 분지 지표는 항상 2이다. (다시 말해, 데생당팡에서 모든 꼭짓점의 차수는 2이다.)
* \widehat\infty의 원상은 하나 밖에 없다. (다시 말해, 데생당팡은 나무이다.)
예를 들어,
:\operatorname T_2(x)=2x^2-1=2(x-1)(x+1)+1
의 경우, 이는 분지 지표 2의 두 분지점 x\in\{0,\widehat\infty\}를 가지며, 그 값은 \operatorname T_2(0)=-1 및 \operatorname T_2(\widehat\infty)=\widehat\infty이다. 마찬가지로,
:\operatorname T_3(x)=4x^3-3x=(x-1)(2x+1)^2+1=(x+1)(2x-1)^2-1
의 경우, 분지 지표 2의 두 분지점 x\in\{-1/2,1/2\} 및 분지 지표 3의 분지점 x=\widehat\infty를 가지며, 그 값은 각각 \operatorname T_3(\pm1/2)=\mp1 및 \operatorname T_3(\widehat\infty)=\widehat\infty이다.

이에 따라, \operatorname T_n\colon\mathbb{CP}^1\to\mathbb{CP}^1는 벨리 사상을 이루며, 이에 대응하는 데생당팡은 n+1개의 꼭짓점을 갖는 선형 그래프이다.
:346px

## 예
낮은 차수의 체비쇼프 다항식들은 다음과 같다. 
:\begin{aligned}
\operatorname T_0(x)&=1\\
\operatorname T_1(x)&=x\\
\operatorname T_2(x)&=2x^2-1\\
\operatorname T_3(x)&=4x^3-3x\\
\operatorname T_4(x)&=8x^4-8x^2+1\\
\operatorname T_5(x)&=16x^5-20x^3+5x\\
\operatorname T_6(x)&=32x^6-48x^4+18x^2-1\\
\operatorname T_7(x)&=64x^7-112x^5+56x^3-7x\\
\operatorname T_8(x)&=128x^8-256x^6+160x^4-32x^2+1\\
\operatorname T_9(x)&=256x^9-576x^7+432x^5-120x^3+9x\\
\operatorname T_{10}(x)&=512x^{10}-1280x^8+1120x^6-400x^4+50x^2-1\\
\operatorname T_{11}(x)&=1024x^{11}-2816x^9+2816x^7-1232x^5+220x^3-11x
\end{aligned}


## 역사
파프누티 체비쇼프가 1854년에 도입하였다.

체비쇼프 다항식의 통상적인 기호 T*n*는 체비쇼프의 이름의 프랑스어 표기 () 또는 독일어 표기 ()에서 딴 것이다.

## 같이 보기
* 르장드르 다항식
* 라게르 다항식
* 에르미트 다항식

## 각주

## 외부 링크
* 
* 
* 
* 
* 
* 
* 
* 

분류:직교 다항식
분류:특수 초기하함수
분류:근사 이론
파이의 날

[섬네일|200px|오른쪽|파이의 날 기념 [파이]]

**파이의 날**()은 원주율을 기념하는 날이다. 파이의 날은 원주율의 근삿값이 3.14이어서 3월 14일에 치러진다. 보통 3.14159에 맞추기 위해 오후 1시 59분에 기념하는데, 오후 1시 59분은 엄밀히 말하면 13시 59분이기 때문에 오전 1시 59분 혹은 15시 9분(오후 3시 9분)에 치러야 한다고 주장하는 사람도 있다. 세계 각국의 수학과에서 기념행사를 연다.

3월 14일은 알베르트 아인슈타인의 생일이면서 스티븐 호킹의 기일이기도 하다. 이 날은 여러 방법으로 기념된다. 사람들이 모여서 원주율이 생활에서 어떤 역할을 했는지 이야기하고 원주율이 없는 세상을 상상해 본다. 모임에서는 보통 파이를 먹는다. 또한 많은 행사에서 원주율을 소수점 아래의 숫자를 얼마나 많이 외우는지 겨루는 대회가 열린다.

분수 3과 7분의 1을 가분수로 나타내면 7분의 22가 되는데, 이를 무한소수로 나타내면 3.142857...로 π의 근삿값이 되므로 7월 22일을 **파이 근삿값의 날**로 부르기도 한다.

## 같이 보기
* 몰의 날

## 외부 링크
* 
*  Exploratorium's Pi Day Web Site
*  Pi Day
*  Professor Lesser's Pi Day page
*  Pi Day in France

분류:원주율
분류:비공식 기념일
분류:3월의 세시
분류:수학과 문화
분류:과학 기념일
분류:1988년 시작된 행사
곱셈적 함수

수론에서 **곱셈적 함수**(-的函數, ) 또는 **곱산술 함수**(-算術函數)는 서로소인 두 정수의 곱셈을 보존하는 수론적 함수이다.

## 정의
함수 f\colon\mathbb Z^+\to\mathbb C가 다음 조건을 만족시키면, **곱셈적 함수**라고 한다.
* 임의의 m,n\in\mathbb Z^+에 대하여, 만약 \gcd\{m,n\}=1이라면, f(mn)=f(m)f(n)이다.

함수 f\colon\mathbb Z^+\to\mathbb C가 다음 조건을 만족시키면, **완전 곱셈적 함수**(完全-的函數, )라고 한다.
* 임의의 m,n\in\mathbb Z^+에 대하여, f(mn)=f(m)f(n)이다.

(완전) 곱셈적 함수의 정의역은 \mathbb Z의 곱셈에 대하여 닫혀있는 부분 집합일 수도 있다.

## 성질
### 연산에 대한 닫힘
곱셈적 함수 f\colon\mathbb Z^+\to\mathbb C에 대하여, 다음과 같은 함수들 역시 곱셈적 함수이다.
* n\mapsto f(n^k)\qquad(k\in\mathbb Z^+)
* n\mapsto f(\gcd\{n,k\})\qquad(k\in\mathbb Z)

### 항등식
곱셈적 함수 f\colon\mathbb Z^+\to\mathbb C에 대하여, 만약 n\in\mathbb Z^+의 소인수 분해가
:n=p_1^{a_1}p_2^{a_2}\cdots p_k^{a_k}
일 경우, 다음이 성립한다.
:f(n)=f(p_1^{a_1})f(p_2^{a_2})\cdots f(p_k^{a_k})
만약 추가로 f가 완전 곱셈적 함수일 경우, 다음이 성립한다.
:f(n)=f(p_1)^{a_1}f(p_2)^{a_2}\cdots f(p_k)^{a_k}
즉, 곱셈적 함수는 소수의 거듭제곱의 상에 의하여 결정되며, 완전 곱셈적 함수는 소수의 상에 의하여 결정된다.

곱셈적 함수 f,g\colon\mathbb Z^+\to\mathbb C에 대하여, 다음과 같은 항등식이 성립한다.
:f(1)=1\vee f(x)=k\delta_{1,x}
:f(m)f(n)=f(\gcd\{m,n\})f(\operatorname{lcm}\{m,n\})
:\sum_{d\mid n}\mu(d)f(d)=\prod_{p\mid n}(1-f(p))
:\sum_{d\mid n}\mu(d)^2f(d)=\prod_{p\mid n}(1+f(p))
여기서 \mu는 뫼비우스 함수이다.

곱셈적 함수 f\colon A\to\mathbb C의 정의역 A\subseteq\mathbb Z이 -1\in A를 만족한다면,
:f(-1)=\pm 1
이다.

### 디리클레 합성곱
곱셈적 함수는 디리클레 합성곱에 대하여 아벨 군을 이룬다. 즉, 곱셈적 함수 f,g\colon\mathbb Z^+\to\mathbb C의 디리클레 합성곱
:f*g\colon n\mapsto\sum_{d\mid n}f(d)g(n/d)
와 디리클레 역원
:f^{-1}\qquad(f^{-1}*f=f*f^{-1}=\delta_{\bullet,1})
은 곱셈적 함수이다.

곱셈적 함수 f\colon\mathbb Z^+\to\mathbb C에 대하여, 만약 n\in\mathbb Z^+의 소인수 분해가
:n=p_1^{a_1}p_2^{a_2}\cdots p_k^{a_k}
일 경우, 다음이 성립한다.
:\sum_{d\mid n}f(d)=\prod_{j=1}^k(1+f(p_j)+\cdots+f(p_j^{a_j}))
:\sum_{d\mid n}\mu(n/d)f(d)=\prod_{j=1}^k(f(p_j^{a_j})-f(p_j^{a_j-1}))
만약 추가로 f가 완전 곱셈적 함수일 경우, 다음이 성립한다.
:\sum_{d\mid n}f(d)=\prod_{j=1}^k(1+f(p_j)+\cdots+f(p_j)^{a_j})
:\sum_{d\mid n}\mu(n/d)f(d)=\prod_{j=1}^k(f(p_j)^{a_j}-f(p_j)^{a_j-1})

## 예
다음과 같은 수론적 함수들은 완전 곱셈적 함수이다.
* n\mapsto n^k (k는 음이 아닌 정수): 거듭제곱 함수
** n\mapsto 1: 1을 값으로 하는 상수 함수. 거듭제곱의 지수가 k=0인 경우이다.
** n\mapsto n: 항등 함수. 거듭제곱의 지수가 k=1인 경우이다.
* n\mapsto\delta_{n,1}: n이 1인지 여부에 따라 1 또는 0을 취한다.
* n\mapsto(n/p) (p는 소수): 르장드르 기호. n이 p에 대한 제곱 잉여일 경우 1을, 제곱 비잉여일 경우 −1을, p의 배수일 경우 0을 취한다.

다음과 같은 수론적 함수들은 곱셈적 함수이나, 완전 곱셈적 함수가 아니다.
* n\mapsto\phi(n): 오일러 피 함수. n보다 작고 n과 서로소인 양의 정수의 개수
* n\mapsto\mu(n): 뫼비우스 함수. n이 제곱 인수가 없는 정수일 경우, n의 소인수의 개수의 홀짝성에 따라 ∓1을 취한다. n이 제곱 인수가 없는 정수가 아닐 경우, 0을 취한다.
* n\mapsto\sigma_k(n) (k는 음이 아닌 정수): 약수 함수. n의 모든 양의 약수의 k제곱의 합
** n\mapsto d(n): n의 모든 양의 약수의 개수. 약수 함수에서 k=0인 경우이다.
** n\mapsto \sigma(n): n의 모든 양의 약수의 합. 약수 함수에서 k=1인 경우이다.

양의 정수를 두 정수의 제곱의 합으로 나타내는 방법의 (더하는 순서를 고려한) 가짓수를 구하는 함수
:n\mapsto r_2(n)
는 곱셈적 함수가 아니다. 예를 들어, 1을 제곱수로 나타내는 방법은 다음과 같이 4가지가 있다.
:1=1^2+0^2=0^2+1^2=(-1)^2+0^2=0^2+(-1)^2
즉,
:r_2(1)=4\ne 1
이다.

폰 망골트 함수
:n\mapsto\Lambda(n)
는 n이 어떤 소수 p의 양의 정수 제곱일 경우 \ln p를, 소수의 거듭제곱이 아닐 경우 0을 값으로 취한다.
:\Lambda(1)=0\ne 1
이므로, 이는 곱셈적 함수가 아니다.

## 같이 보기
* 오일러의 곱셈 공식

## 참고 문헌

## 외부 링크
* 
* 

분류:수론적 함수
펜로즈 삼각형

섬네일|펜로즈 삼각형
**펜로즈 삼각형**( 또는 )은 불가능한 물체의 일종이다. 1934년 스웨덴의 화가 오스카르 레우테르스베르드가 처음 쓰기 시작했고, 1950년대에 영국의 수학자 로저 펜로즈가 그와는 독자적으로 고안하여, 널리 알렸다. 그 후에도 펜로즈 삼각형은 마우리츠 코르넬리스 에셔의 판화에서 쓰이기 시작하여, 그의 작품 속에 등장하는 불가능한 물체에 영향을 주었다.

이 삼각형은 단면이 사각형인 입체인 것처럼 보이지만, 2차원 그림으로만 가능하다. 왜냐하면, 삼각형의 각 변을 이루는 평행한 면들은 각 꼭짓점에 이르면, 서로 다른 위치에서 본 직각의 모서리이기 때문이다. 각 변을 이루는 막대는 모두 서로 직각을 이루며, 그럼에도 불구하고 삼각형을 만든다.

이 방법을 일반화 시켜서 펜로즈 다각형으로 확대할 수 있다. 하지만 펜로즈 사각형은 그 시각적 효과가 삼각형만큼 충격적이진 않다.


파일:Penrose square.svg|펜로즈 사각형
파일:Penrose pentagon.svg|펜로즈 오각형
파일:Penrose hexagon.svg|펜로즈 육각형
파일:Penrose octagon.svg|펜로즈 팔각형


펜로즈 삼각형처럼 보이는 입체를 만들 수는 있다. 하지만 이 때에 각 변은 꼬이거나, 끊어져야 한다.


파일:Deutsches Technikmuseum Berlin February 2008 0005.JPG|베를린의 독일 기술 박물관에 설치된 펜로즈 삼각형
파일:Deutsches Technikmuseum Berlin February 2008 0004.JPG|다른 각도에서 본 모습


## 같이 보기
* 로저 펜로즈
* 착시

## 외부 링크
* 

분류:착시
분류:위상수학
분류:기하학
분류:불가능한 물체
수론적 함수

정수론에서 **수론적 함수**(數論的函數, )는 모든 양의 정수에 대해 정의된 함수이며 복소수 함수값을 가질 수도 있다. 다시 말하면 수론적 함수는 복소수의 수열에 지나지 않는다.

중요한 수론적 함수로 덧셈적 함수와 곱셈적 함수가 있으며, 수론적 함수 사이의 연산으로는 디리클레 합성곱이 중요하다.

## 예시
곱셈적 함수와 덧셈적 함수에 몇몇 수론적 함수의 예가 수록되어 있다. 아래 예들은 곱셈적이지도, 덧셈적이지도 않은 함수들이다.

* *c*4(*n*) - *n*을 음수가 아닌 정수로 표현하는 방법의 가지수. 덧셈의 순서도 구분한다. 예를 들어 다음과 같다.

::1 = 12+02+02+02 = 02+12+02+02 = 02+02+12+02 = 02+02+02+12,

:그러므로 *c*4(1)=4.

* *P*(*n*), 분할수 - *n*을 양의 정수의 합으로 나타내는 방법의 수. 여기선 덧셈의 순서를 구분하지 않음. 예를 들어, *P*(2 · 5) = *P*(10) = 42 그리고 *P*(2)*P*(5) = 2 · 7 = 14 ≠ 42 따 라서 곱셈적 함수가 아님.
* π (*n*), 소수 계량 함수 - 주어진 *n*과 같거나 작은 소수의 개수. π(1) = 0 그리고 π(10) = 4 (10 이하의 소수는 2, 3, 5, 7).
* *a*0(*n*) - *n*을 나누는 소수의 합. 또한 sopfr(*n*)(**S**um **o**f the **p**rime **f**actors with **r**epetition)라고도 불림. *a*0(20) = *a*0(22 · 5) = 2 + 2+ 5 = 9. 
* *a*1(*n*) - *n*의 서로 다른 소인수의 합. sopf(*n*)라고도 불림. *a*1(1) = 0, *a*1(20) = 2 + 5 = 7.

## 같이 보기
* 폰 망골트 함수

## 외부 링크
* 
* 


분류:함수와 사상
물리 상수

**물리 상수**(物理常數, )는 물리학에 나오는 값이 변하지 않는 물리량을 말한다. 물리 상수는 실제적인 물리적 측정과는 관계없이 고정된 값을 갖는 수학 상수와 대비되어, 대부분 그 값이 실험을 통한 측정을 통해 얻어진다.

물리 상수들 중에 특히 유명한 것으로는 플랑크 상수, 중력 상수, 아보가드로 상수 등이 있다.

물리 상수는 여러 가지 양을 의미한다. 플랑크 길이는 자연의 기본적인 거리, 광속은 가능한 최고 속력, 미세 구조 상수는 차원이 없는 양으로 전자와 광자 사이의 상호작용의 정도를 각각 의미한다.

## 물리 상수 일람
유효자리는 **굵게** 표시했다.

## 참고 문헌
* aPeter J. Mohr and Barry N. Taylor, "CODATA Recommended Values of the Fundamental Physical Constants: 1998," *Journal of Physical and Chemical Reference Data,* Vol. 28, No. 6, 1999 and *Reviews of Modern Physics,* Vol. 72, No. 2, 2000. http://physics.nist.gov/cuu/Constants/


분류:과학 법칙
분류:측정
분류:경험적 법칙
공각기동대

300px|right
**공각기동대**(攻殻機動隊, Ghost in the Shell)는 시로 마사무네의 원작 만화로부터 파생된 포스트사이버펑크 작품군을 가리킨다. 극장판 영화, 텔레비전 애니메이션, 소설, 비디오 게임 등 다양한 매체로 만들어졌다.

## 작품 목록
### 만화
* 공각기동대: 최초의 작품.
* 공각기동대 1.5 Human Error Processor: 셋째 만화.
* 공각기동대 2 ManMachine Interface: 둘째 만화. 속편.

### 애니메이션 영화
* 공각기동대: 시로 마사무네의 만화를 바탕으로 1995년에 만들어진 영화.
* 이노센스: 2004년에 만들어진 영화.
* 공각기동대 ARISE
* 공각기동대 신극장판

### 애니메이션 시리즈
* 공각기동대 Stand Alone Complex (SAC): 첫 TV 시리즈.
* 공각기동대 S.A.C. 2nd GIG: SAC의 둘째 시즌.
* 공각기동대 S.A.C. Solid State Society: SAC의 셋째 작품. TV 시리즈가 아닌 OVA 한 편으로 제작되었다.
* 공각기동대 ARISE ALTERNATIVE ARCHITECTURE: ARISE를 TV 시리즈 형식으로 재편집한 것.
* 공각기동대: SAC 2045
* 공각기동대 THE GHOST IN THE SHELL

### 실사 영화
* 공각기동대: 고스트 인 더 쉘

## 외부 링크
* 공각기동대 - 미만부


분류:미디어 프랜차이즈
분류:포스트사이버펑크
뫼비우스 반전 공식

수론에서, **뫼비우스 반전 공식**(Möbius反轉公式, )은 수론적 함수의 약수에 대한 합으로부터 원래 함수를 되찾는 공식이다.

## 정의
양의 정수의 집합 \mathbb Z^+을 정의역으로 하고 아벨 군 (A,+)을 공역으로 하는 임의의 두 함수
:f,g\colon\mathbb Z^+\to A
에 대하여, 다음 두 조건이 서로 동치이다.
:g(n)=\sum_{d\mid n}f(d)\qquad\forall n\in\mathbb Z^+
:f(n)=\sum_{d\mid n}\mu(d)g(n/d)\qquad\forall n\in\mathbb Z^+
여기서 두 등식의 우변의 합은 n의 양의 약수 d에 대한 합이며, \mu는 뫼비우스 함수이다.

두 조건에서 n에 대한 전칭은 필수적이다. 즉, 어떤 n에 대하여 첫째 등식이 성립한다고 하여 그 n에 대하여 둘째 등식이 성립하지는 않으며, 그 역도 마찬가지다.

뫼비우스 반전 공식에서 사용되는 아벨 군 A의 군 연산은 덧셈이거나 (\mathbb C 등) 곱셈일 수 있다 (\mathbb C^\times, \mathbb C(x)^\times 등). 곱셈으로 쓴 뫼비우스 반전 공식의 두 조건은 다음과 같다.
:g(n)=\prod_{d\mid n}f(n)\qquad\forall n\in\mathbb Z^+
:f(n)=\prod_{d\mid n}g(n/d)^{\mu(d)}\qquad\forall n\in\mathbb Z^+

A=\mathbb C인 경우, 두 함수가 곱셈적 함수인지 여부는 서로 동치이다. 즉, 만약 f가 곱셈적 함수라면 그 상 g 역시 곱셈적 함수이며, 반대로 만약 g가 곱셈적이라면 그 원상 f 역시 곱셈적이다.

### 디리클레 합성곱과의 관계
함수 \mathbb Z^+\to\mathbb Z들의 점별 덧셈 아벨 군은 디리클레 합성곱
:(\phi*\psi)(n)=\sum_{d\mid n}\phi(d)\psi(n/d)
에 따라 가환환을 이룬다. 이 환의 곱셈 항등원은 함수
:\delta(n)=\begin{cases}
1&n=1\\
0&n\ne1
\end{cases}

이다. 상수 함수
:\zeta(n)=1
은 이 가환환의 가역원이며, 그 역원은 뫼비우스 함수이다.
:\zeta*\mu=\delta
즉, 임의의 n\in\mathbb Z^+에 대하여
:\sum_{d\mid n}\mu(d)=\delta(n)
이다.

임의의 아벨 군 (A,+)이 주어졌을 때, 함수 \mathbb Z^+\to A들의 점별 덧셈 아벨 군 위에 위 가환환에 대한 가군 구조를 다음과 같이 줄 수 있다.
:\phi*f=\sum_{d\mid n}\phi(d)f(n/d)\qquad(\phi\colon\mathbb Z^+\to A,\;f\colon\mathbb Z^+\to A)
특히, 가환환의 연산과 가군의 연산은 다음과 같이 호환된다.
:(\phi*\psi)*f=\phi*(\psi*f)
:\zeta*f=f

이제, 뫼비우스 반전 공식의 두 조건은 각각 다음과 같이 쓸 수 있다.
:g=\zeta*f
:f=\mu*g
이 두 조건이 동치라는 사실은 위 논의로부터 자명하다.

## 일반화
### 구간 위의 함수
아벨 군 (A,+)이 주어졌을 때, 임의의 두 함수
:f,g\colon[1,\infty)\to A
에 대하여, 다음 두 조건이 서로 동치이다.
:f(x)=\sum_{n\in\mathbb Z^+}^{n\le x}=f(x/n)\qquad\forall x\in[1,\infty)
:g(x)=\sum_{n\in\mathbb Z^+}^{n\le x}=\mu(n)g(x/n)\qquad\forall x\in[1,\infty)
여기서 우변의 합은 모든 양의 정수 n\le x에 대한 합이다.

뫼비우스 반전 공식은 이에 대한 특수한 경우이다. 구체적으로, 두 함수가 양의 정수가 아닌 곳에서 0인 경우를 생각하라.

### 부분 순서 집합 위의 함수

아벨 군 (A,+)과 부분 순서 집합 (P,\le)이 주어졌다고 하자. 또한, 임의의 x\in P에 대하여 \{y\in P\colon y\le x\}가 유한 집합이라고 하자 (특히, P는 국소 유한 부분 순서 집합이다). 그렇다면, 임의의 두 함수
:f,g\colon P\to A
에 대하여, 다음 두 조건이 서로 동치이다.
:g(x)=\sum_{y\le x}f(y)\qquad\forall x\in P
:f(x)=\sum_{y\le x}\mu_P(y,x)g(y)\qquad\forall x\in P
여기서 \mu_P는 근접 대수 \mathcal I(P;\mathbb Z)에서 값 1 상수 함수 \zeta_P\in\mathcal I(P;\mathbb Z)의 역원이다.

뫼비우스 반전 공식은 이에 대한 특수한 경우이다. 구체적으로, 양의 정수와 약수 관계의 부분 순서 집합
:(\mathbb Z^+,\mid)
:m\mid n\iff\exists d\in\mathbb Z^+\colon n=md
을 생각하라. (모든 양의 정수의 약수의 개수는 유한하다.) 이 경우
:\mu_{(\mathbb Z^+,\mid)}(m,n)=\mu(n/m)
이다.

구간 위의 함수에 대한 뫼비우스 반전 공식 역시 이에 대한 특수한 경우이다. 구체적으로, 다음과 같은 부분 순서 집합
:([1,\infty),\preceq)
:x\preceq y\iff y/x\in\mathbb Z^+
을 생각하라. 이 경우
:\mu_{([1,\infty),\preceq)}(x,y)=\mu(y/x)
이다.

## 예
수론적 함수의 뫼비우스 반전의 몇 가지 예는 다음과 같다.

## 역사
19세기 수학자 아우구스트 페르디난트 뫼비우스의 이름을 딴 공식이다.

## 같이 보기
* 페어리 수열
* 포함배제의 원리

## 참고 문헌

## 외부 링크
* 
* 
* 
* 
* 
* 

분류:수론적 함수
분류:열거조합론
분류:수론 정리
푸리에 급수

섬네일

수학에서 **푸리에 급수**(Fourier級數, )는 주기 함수를 삼각함수의 가중치로 분해한 급수다. 대부분의 경우, 급수의 계수는 본래 함수와 일대일로 대응한다.

함수의 푸리에 계수는 본래 함수보다 다루기 쉽기 때문에 유용하게 쓰인다. 푸리에 급수는 전자 공학, 진동 해석, 음향학, 광학, 신호 처리와 영상 처리, 데이터 압축 등에 쓰인다. 천문학에서는 분광기를 통해 별빛의 진동수를 분해하여 별을 이루는 화학 물질을 알아내는 데 쓰이고, 통신 공학에서는 전송해야 하는 데이터 신호의 스펙트럼을 이용하여 통신 시스템 설계를 최적화하는 데 쓰인다.

## 역사
19세기 프랑스의 과학자이자 수학자인 조제프 푸리에가 열 방정식을 풀기 위하여 도입하였다. 프랑스 혁명에 참가했다.

## 정의
푸리에 급수는 주기함수를 기본적인 조화함수인 삼각함수 또는 복소 지수 함수의 급수로 나타낸 것이다. 주기함수 f\colon\mathbb R\to\mathbb C가 T의 주기를 가진다고 하자. 즉,

:f(x)=f(x+T)

라고 하자. 또한, f가 모든 유한 구간()에서 제곱적분 가능하다고 하자. 즉, 임의의 a,b\in\mathbb R에 대하여,

:\int_a^b|f|^2\,dx

가 유한한 값으로 존재한다고 하자. 그렇다면 f의 **푸리에 계수**() g_n을 다음과 같이 정의한다.

:
g_n=\frac1{T}\int_{t_{0}}^{t_{0} + T}\exp\left(-\frac{2n\pi{i}x}{T}\right)f(x)\,dx,\quad t_{0} \in \mathbb{R}.


그렇다면 다음이 성립한다. 임의의 x\in\mathbb R에 대하여, 다음 식이 성립하지 않는 x의 집합은 르베그 측도 0을 가진다.

:f(x)=\sum_{n=-\infty}^{\infty}g_n\exp\left(\frac{2n\pi{i}x}{T}\right).

만약 f가 연속미분가능 (C^1) 함수라면 (즉, f의 도함수가 존재하고 연속적인 경우) f의 푸리에 급수는 모든 x에서 f(x)로 수렴한다.

## 각주

## 참고 문헌
* 
* 
** 재판: 
** 영역 (역자 Alexander Freeman): 
* 
* 
* Felix Klein, *Vorlesungen über die Entwicklung der Mathematik im 19 Jahrhundert*, Springer, Berlin, 1928.
** 영역: *Development of mathematics in the 19th century*. Mathsci Press Brookline, Mass, 1979. (역자 M. Ackerman)
* 
* 

## 같이 보기
* 푸리에 변환
* 조화 해석학
* 조제프 푸리에

## 외부 링크
* 
* 
* 
* 
* 


분류:푸리에 해석학
분류:급수
분류:디지털 신호 처리
분류:조제프 푸리에
가수

섬네일|브라질의 가수
**가수**(歌手, )는 목소리를 이용해서 음악을 만들고 가창하는 사람을 말한다. 고전음악이나 오페라에서 목소리는 악기와 동일한 용법으로 사용되었다.

## 같이 보기
* 가수 목록
* 가창(singing)
정규 분포

\; \exp\left(-\frac{\left(x-\mu\right)^2}{2\sigma^2} \right) \!
| cdf = \frac12 \left(1 + \mathrm{erf}\,\frac{x-\mu}{\sigma\sqrt2}\right) \!
| 기댓값 = \mu
| 중앙값 = \mu
| 최빈값 = \mu
| 분산 = \sigma^2
| 왜도 = 0
| 첨도 = 0
| 엔트로피 = \ln\left(\sigma\sqrt{2\,\pi\,e}\right)\!
| mgf = M_X(t) = \exp\left(\mu\,t+\frac{\sigma^2 t^2}{2}\right)
| 특성함수 = \phi_X(t) = \exp\left(\mu\,i\,t-\frac{\sigma^2 t^2}{2}\right)|
}}

확률론과 통계학에서 **정규 분포**(正規 分布, ) 또는 **가우스 분포**(Gauß 分布, )는 연속 확률 분포의 하나이다. 정규분포는 수집된 자료의 분포를 근사하는 데에 자주 사용되며, 이것은 중심극한정리에 의하여 독립적인 확률변수들의 평균은 정규분포에 가까워지는 성질이 있기 때문이다.

정규분포는 2개의 매개 변수 평균 \mu와 표준편차 \sigma에 대해 모양이 결정되고, 이때의 분포를 \mathrm{N}(\mu, \sigma^2)로 표기한다. 특히, 평균이 0이고 표준편차가 1인 정규분포 \mathrm{N}(0, 1)을 **[[표준 정규 분포]]**(standard normal distribution)라고 한다.

## 역사
정규분포는 아브라암 드무아브르가 1733년 쓴 글에서 특정 이항 분포의 n이 클 때 그 분포의 근사치를 계산하는 것과 관련하여 처음 소개되었고 이 글은 그의 저서 《우연의 교의》(The Doctrine of Chances) 2판(1738년)에 다시 실렸다. 피에르시몽 라플라스는 그의 저서 《확률론의 해석이론》(Théorie analytique des probabilités)(1812년)에서 이 결과를 확장하였고 이는 오늘날 드무아브르-라플라스의 정리로 알려져있다.

라플라스는 실험 오차를 분석하면서 정규분포를 사용했다. 1805년에는 아드리앵마리 르장드르가 매우 중요한 방법인 최소제곱법을 도입했다. 카를 프리드리히 가우스는 이 방법을 1794년부터 사용해왔다고 주장했는데 1809년에는 실험 오차가 정규분포를 따른다는 가정하에 최소제곱법을 이론적으로 엄밀히 정당화했다.

## 성질
* 정규분포에서는 기댓값, 최빈값, 중앙값이 모두 \mu이다. 정규분포의 기댓값은 다음과 같이 계산할 수 있다.
:
\begin{align}
\bar x &= \int_{-\infty}^{\infty}\frac{x}{\sigma\sqrt{2\pi}}\; \exp\left[-\frac{\left(x-\mu\right)^2}{2\sigma^2} \right]\\
&= \frac{\sqrt{2}\sigma}{\sqrt{\pi}}\int_{-\infty}^{\infty}y \exp[-y^{2}]dy
   + \frac{\mu}{\sqrt{\pi}}\int_{-\infty}^{\infty}\exp[-y^{2}]dy
\end{align}

위에서 첫 번째 적분은 홀함수의 적분으로 0이고 두 번째 적분은 가우스 적분으로 적분값이 \sqrt{\pi}로 잘 알려져 있다. 따라서 기댓값은 \mu다.

* 정규분포는 절대근사한다.
* 정규분포는 평균과 표준편차가 주어져 있을 때 엔트로피를 최대화하는 분포이다.
* 정규분포곡선은 좌우 대칭이며 하나의 꼭지를 가진다.
* 정규분포는 중앙치에 사례 수가 모여있고, 양극단으로 갈수록 X축에 무한히 접근하지만 X축에 닿지는 않는다.

## 표준 정규 분포
정규 분포 밀도 함수에서 Z=\frac{X-\mu}{\sigma}를 통해 X(원점수)를 Z(Z점수)로 정규화함으로써 평균이 0, 표준편차가 1인 표준정규분포를 얻을 수 있다.

z-분포라고도 부른다. z-분포로 하는 검정(test)을 z검정(z-test)이라고 한다.

## 불확실성
P[\mu -k\sigma 에서 k값이 변화함에 따라 구해지는 \pm k\sigma값을 **불확실성**(uncertainty)이라고 한다. 예를 들어 \pm 1.645\sigma를 90% 불확실성, \pm 1.960\sigma는 95% 불확실성, \pm 2.576\sigma은 99% 불확실성이다. 특히, \pm 0.674\sigma를 50% 불확실성이라고 하며, **확률오차**(probable error)라고도 한다. 이는 관측값이 전체 관측값의 50%에 있을 확률을 의미한다.

## 같이 보기
* 가우스 함수
* 표본 크기
* F 분포
* 표준정규분포표

## 각주

## 참고 문헌
* 
* (구글북스, Pierre Simon marquis de Laplace, Théorie analytique des probabilités 1812)https://books.google.co.kr/books?id=nQwAAAAAMAAJ&printsec=frontcover&hl=ko&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=false
* (구글북스,The Doctrine of Chances , 1st edition ,Abraham de Moivre 1718)https://books.google.com/books?id=3EPac6QpbuMC

## 외부 링크
* 
* 
* 


분류:연속분포
그리스 신들의 가계도

__NOTOC__
다음은 고대 그리스 신화와 고대 그리스 종교에 등장하는 신, 반신으로 구성된 가계도이다.

* 일반적인 올림포스 12신의 이름은 **굵은 글씨**로 표시하였다.
* 초록색 바탕으로 표시된 이름은 열두 명의 1세대 티탄이다.

## 같이 보기
* 그리스 신화
* 그리스 신화의 등장인물 목록
* 헤시오도스의 신통기

## 주해

## 각주

## 참고 문헌
*



분류:가계도
보손

[섬네일|upright=1.6|보손은 [아원자 입자의 두 가지 기본 부류 중 하나이며, 다른 하나는 페르미온이다. 모든 아원자 입자는 둘 중 하나에 속해야 한다. 복합 입자(강입자)는 구성 성분에 따라 어느 한 부류에 속할 수 있다.]]

입자물리학에서 **보손**(boson,  )은 스핀 양자수가 정수 값(0, 1, 2, ...)을 갖는 아원자 입자이다. 보손은 아원자 입자의 두 가지 기본 부류 중 하나를 형성하며, 다른 하나는 반정수 스핀(1/2, 3/2, 5/2, ...)을 갖는 페르미온이다. 관측된 모든 아원자 입자는 보손 아니면 페르미온이다. 폴 디랙은 인도 물리학자 사티엔드라 나트 보스의 공헌을 기리기 위해 보손이라는 이름을 지었다.

일부 보손은 입자물리학에서 (때때로 "일반 물질"의 구성 요소로 설명되는) 페르미온의 역할과 구별되는 특별한 역할을 하는 기본 입자이다. 특정 기본 보손(예: 글루온)은 다른 입자들 사이의 힘을 발생시키는 매개 입자로 작용하며, 하나(힉스 보손)는 질량 현상에 기여한다. 중간자와 같은 다른 보손들은 더 작은 구성 성분으로 이루어진 복합 입자이다.

입자물리학의 영역 밖에서, 여러 개의 동일한 복합 보손은 고밀도 또는 저온에서 보스-아인슈타인 통계에 의해 설명되는 특징적인 방식으로 행동한다. 예를 들어, 헬륨-4 원자 기체는 절대 영도에 가까운 온도에서 초유체가 된다. 마찬가지로, 쿠퍼 쌍과 같은 일부 준입자들이 이러한 특징적인 방식으로 행동하기 때문에 초전도 현상이 발생한다.

## 이름
보손이라는 이름은 인도 물리학자 사티엔드라 나트 보스의 공헌을 기리기 위해 폴 디랙이 명명했다. 보스가 벵골(현재 방글라데시)의 다카 대학교에서 상급 강사(나중에 교수)로 재직할 때, 그와 알베르트 아인슈타인은 현재 보스-아인슈타인 통계 및 보스-아인슈타인 응축으로 알려진 이러한 입자들의 특성을 규명하는 이론을 개발했다.

## 기본 보손

관측된 모든 기본 입자는 보손(정수 스핀) 또는 페르미온(반정수 스핀)이다. 일반 물질을 구성하는 기본 입자(렙톤 및 쿼크)는 페르미온인 반면, 기본 보손은 입자물리학에서 특별한 역할을 차지한다. 이들은 다른 입자들 사이에 힘을 발생시키는 매개 입자로 작용하거나, 한 가지 경우에는 질량 현상을 발생시킨다.

입자물리학의 표준 모형에 따르면 다섯 종류의 기본 보손이 있다:
* 한 종류의 스칼라 보손 (스핀 = 0)
** 힉스 보손 – 힉스 메커니즘을 통해 질량 현상에 기여하는 입자
* 매개 입자로 작용하는 네 종류의 벡터 보손 (스핀 = 1). 이들은 게이지 보손이다:
**  광자 – 전자기장의 매개 입자
**  글루온 (8가지 유형) – 강한 상호작용을 매개하는 매개 입자
**  중성 약보손 – 약한 상호작용을 매개하는 매개 입자
**  전하 약보손 (두 종류) – 마찬가지로 약한 상호작용을 매개하는 매개 입자
 중력자(G)라고 불리는 2차 텐서 보손(스핀 = 2)은 중력의 매개 입자로 가설이 세워졌으나, 지금까지 표준 모형에 중력을 포함시키려는 모든 시도는 실패했다.

## 복합 보손

복합 입자(강입자, 원자핵, 원자 등)는 구성 성분에 따라 보손이 될 수도 있고 페르미온이 될 수도 있다. 보손은 정수 스핀을 갖고 페르미온은 반정수 스핀을 가지므로, 짝수 개의 페르미온으로 이루어진 모든 복합 입자는 보손이다 (예: 수소 원자의 쿼크 3개와 전자 1개의 경우, 1/2 + 1/2 + 1/2 + 1/2 = 2).

복합 보손의 예는 다음과 같다:
* 모든 유형의 중간자
* 중수소, 헬륨-4(알파 입자), 탄소-12, 납-208 및 기타 많은 안정한 질량수가 짝수인 원자핵.

양자역학적 입자로서, 고밀도에서 구별 불가능한 여러 보손의 행동은 보스-아인슈타인 통계에 의해 설명된다. 초유체 현상 및 보스-아인슈타인 응축의 다른 응용에서 중요해지는 한 가지 특징은 동일한 양자 상태를 점유할 수 있는 보손의 수에 제한이 없다는 것이다. 결과적으로, 예를 들어 헬륨-4 원자 기체가 절대 영도에 매우 가까운 온도로 냉각되어 입자의 운동 에너지를 무시할 수 있게 되면, 저에너지 상태로 응축되어 초유체가 된다.

응집물질 시스템의 다른 예로는 초전도체의 쿠퍼 쌍과 반도체의 엑시톤이 있다.

## 준입자
쿠퍼 쌍, 플라스몬, 포논을 포함한 특정 준입자들은 보손으로 행동하며 보스-아인슈타인 통계를 따르는 것이 관찰된다.

## 각주

; 내용주


## 외부 링크
* 


분류:물리학 개념
분류:양자장론
분류:원자물리학
분류:통계역학
디리클레 합성곱

**디리클레 합성곱**(Dirichlet convolution) 혹은 **디리클레 [[곱셈적 함수#포갬(합성곱 ; Convolution)|포갬]]**은 수론적 함수(arithmetic function)의 집합에서 정의되는 이항연산(binary operation)으로, 수론에서 중요하게 다뤄진다. 독일 수학자 르죈 디리클레의 이름에서 유래하였다.

## 정의
*f*, *g*가 수론적 함수 (즉, 자연수에서 복소수로의 함수)일 때, *f*, *g*의 디리클레 포갬 *f* * *g*는 다음과 같이 정의되는 수론적 함수이다.
:
(f*g)(n) = \sum_{d|n} f(d)g(n/d)

여기서 덧셈은 *n*의 모든 양의 약수 *d*에 대해 이루어진다.

## 성질

이 연산의 일반적인 성질을 몇가지 나열해 보면:
* 닫혀있다: f와 g가 모두 곱셈적이라면, f * g도 곱셈적이다. (주의: 그러나 두 완전 곱셈적인 함수의 포갬은 완전 곱셈적이 아닐 수 있다.)
* 교환법칙: *f* * *g* = *g* * *f*
* 결합법칙: (*f* * *g*) * *h* = *f* * (*g* * *h*)
* 분배법칙: *f* * (*g* + *h*) = *f* * *g* + *f* * *h*
* 항등원: *f* * &epsilon; = &epsilon; * *f* = *f*, 여기서 &epsilon;은 n = 1에서 &epsilon;(*n*) = 1, n > 1에서 &epsilon;(*n*) = 0으로 정의되는 함수.
* 역원: 모든 곱셈적 함수 f에 대해, 어떤 곱셈적 함수 g가 존재하여 *f* * *g* = &epsilon;를 만족한다.

덧셈과 디리클레 포갬으로 수론적 함수의 전체집합은 &epsilon;을 곱셈에 대한 항등원으로 하는 가환환(commutative ring)을 이루고, 이를 **디리클레 환**(dirichlet ring)이라 부른다. 이 환의 unit은 *f*(1) &ne; 0 을 만족하는 f들이다.

나아가, 곱셈적 함수의 집합은 디리클레 포갬과 &epsilon;을 항등원으로 하는 가환군(abelian group)을 이룬다.

곱셈적 함수에서 몇가지 중요한 곱셈적 함수들간의 포갬에의한 관계식의 예를 찾아볼 수 있다.

## 역원의 계산
주어진 수론적 함수 f(n)에 대해 디리클레 합성곱을 연산으로 하는 역원 f^{-1}(n)이 존재한다. 이 역원을 계산하는 계산식은 다음과 같다. 맨 첫 번째 항은 다음과 같다.
:f^{-1}(1) = \frac {1}{f(1)}
그리고 n>1일 경우는 다음과 같다.
:f^{-1}(n) = \frac {-1}{f(1)}\sum_{d|n~~d
예를 들어, 모든 n에 대해 1 인 수론적 함수의 역원은 뫼비우스 함수가 된다. 더 일반적인 관계는 뫼비우스 반전 공식에 의해 유도된다.

## 디리클레 급수와의 관계

*f*가 수론적 함수이면, **[[디리클레 급수|L-급수]]**(L-series)는 다음과 같이 정의된다.
급수가 수렴하는 복소수 s에 대해,
:
L(f,s) = \sum_{n=1}^\infty \frac{f(n)}{n^s}

L-급수의 곱은 디리클레 포갬과 다음 관계가 있다.
좌변이 존재하는 모든 s에 대해,
:
L(f,s) L(g,s) = L(f*g,s)

위 관계식은 L-급수를 푸리에 변환과 비교해 보면, 포갬 정리(convolution theorem)과 긴밀하다.

## 수론적 함수의 미분과의 관계
물론 수론적 함수는 연속함수가 아니므로 통상적인 의미로서의 미분은 불가능하다. 그러나 산술함수에서 따로 미분을 정의하여 디리클레 합성과 연계하여 사용한다.

주어진 산술함수 f(n)의 미분은 다음과 같이 정의한다. 여기서 물론 \Lambda는 망골트 함수(Mangoldt function)이다.
:f'(n) = f(n) \log n\;
예를 들어, 모든 n에 대해 1 인 수론적 함수 u(n)이 있다고 할 때, 관계식 \sum_{d|n}\Lambda(d) = \log n 때문에 다음이 성립한다
:\Lambda * u = u'
위와 같이 미분을 정의할 경우 다음과 같은 성질들이 성립한다.

*(f + g)' = f' + g'
*(f * g)' = f'*g + f*g'
*(f^{-1})' = -f'*(f*f)^{-1}

## 같이 보기
* 수론적 함수
* 뫼비우스 반전 공식
## 각주

## 외부 링크
* 

분류:수론
분류:수론적 함수
슈뢰딩거 방정식

[180px|섬네일|[에르빈 슈뢰딩거]]
**슈뢰딩거 방정식**(-方程式, )은 비상대론적 양자역학적 계의 시간에 따른 진화를 나타내는 선형 편미분 방정식이다. 오스트리아의 물리학자 에르빈 슈뢰딩거가 도입하였고, 그가 발명한 파동역학의 기본 방정식이다.

## 정의
파동 함수 \psi(x)에 대한 슈뢰딩거 방정식은 다음과 같다.
:i\hbar\frac{\partial{}|\psi\rangle}{\partial{}t}=\hat{H}|\psi\rangle
해밀토니언 연산자 \hat{H}는 고전적 해밀토니언에 해당하는 연산자로, 후자를 양자화하여 얻는다. |\psi\rangle는 폴 디랙의 브라-켓 표기를 사용해 나타낸, 슈뢰딩거 묘사에서의 힐베르트 공간의 상태 벡터이다. 이를 파동 함수 \psi로 나타낼 수 있다. (파동 함수에 대한 해석은 코펜하겐 해석을 참조하라.)

해밀토니언 연산자 \hat H는 보통 미분 연산자이다. 예를 들어, 퍼텐셜 V(\mathbf x,t) 속에 있는, 질량이 m인 비상대론적 입자의 경우 해밀토니언은 다음과 같은 2차 미분 연산자이다.
:\hat H=-\frac{\hbar^2}{2m}\nabla^2+V(\mathbf x,t)
즉, 슈뢰딩거 방정식은 다음과 같은 2차 편미분 방정식이 된다.
:i\hbar\frac\partial{\partial t}\psi(\mathbf x,t)=\left(-\frac{\hbar^2}{2m}\nabla^2+V(\mathbf x,t)\right)\psi(\mathbf x,t)

## 라그랑지언과 이차 양자화
슈뢰딩거 방정식은 다음과 같은 라그랑지언으로부터 유도할 수 있다.
:\mathcal L=\psi^*\left(i\hbar\frac\partial{\partial t}-\hat H\right)\psi
예를 들어, 퍼텐셜 V(\mathbf x,t) 속에 있는, 질량이 m인 비상대론적 입자의 경우 슈뢰딩거 라그랑지언은 다음과 같다.
:\mathcal L=\psi^*\left(i\hbar\frac\partial{\partial t}+\frac1{2m}\nabla^2-V\right)\psi
\sim\psi^*i\hbar\frac\partial{\partial t}\psi-\frac1{2m}(\boldsymbol{\nabla}\psi)^2
-V|\psi|^2
여기서 두 번째 표현은 전미분항(total derivative)을 무시하고 쓴 것이다.

이 라그랑지언을 고전적 가환 또는 반가환 장의 라그랑지언으로 여겨, 양자장론으로 이차 양자화시킬 수 있다. 이 경우, 외부 배경장 속에서 움직이는, 임의의 수의 비상대론적 보손 또는 페르미온을 나타내는 양자장론을 얻는다. 또한, 이 경우 비선형 상호작용항을 추가할 수 있다. 예를 들어, 그로스-피타옙스키 방정식이 이러한 꼴이다.

## 역사
1905년, 알베르트 아인슈타인은 광전 효과를 설명하기 위해서 광자의 에너지 E와 진동수 ν 및 플랑크 상수 h 사이의 관계를
::E = h \nu
로 나타내었다. 1924년 루이 드 브로이는 광자 뿐만 아니라 모든 입자가 대응되는 파동함수 \psi\;를 가진다는 드 브로이 가설을 발표하고, 파동의 파장 λ와 입자의 운동량 p에 대해
::p=h / \lambda
의 관계식을 제안했으며, 이 관계식이 특수상대론 및 위의 아인슈타인이 제안한 식과 일관됨을 보였다. 즉, E = hν는 광자 뿐만 아니라 모든 입자에 대해 성립한다는 것이다.

위 식들을 각진동수 \omega = 2\pi \nu\;와 파수 k = 2\pi / \lambda\; 및 \hbar = h / 2 \pi\;를 이용해 표현하면,
::E=\hbar \omega 및
**p**와 **k**를 벡터로 표현하면
::\mathbf p=\hbar \mathbf k

에르빈 슈뢰딩거는 슈뢰딩거 방정식을 1925년 발표하였다. 슈뢰딩거는 평면파의 위상을 복소 위상인자로 나타내었다.
:\psi(\mathbf{x},t) = Ae^{i(\mathbf{k}\cdot\mathbf{x}- \omega t)}
그리고 그는
: \frac{\partial}{\partial t} \psi = -i\omega \psi 
이므로
: E \psi = \hbar \omega \psi =  i\hbar\frac{\partial}{\partial t} \psi 
이며, 마찬가지로
: \frac{\partial}{\partial x} \psi = i k_x \psi 
이므로
: p_x \psi = \hbar k_x \psi = -i\hbar\frac{\partial}{\partial x} \psi 
이고, 따라서
: p_x^2 \psi = -\hbar^2\frac{\partial^2}{\partial x^2} \psi 
및 각 방향의 부분들을 더하면
: p^2 \psi = (p_x^2 + p_y^2 + p_z^2) \psi = -\hbar^2\left(\frac{\partial^2}{\partial x^2} + \frac{\partial^2}{\partial y^2} + \frac{\partial^2}{\partial z^2}\right) \psi = -\hbar^2\nabla^2 \psi 
이 성립함을 알았다. 이제 이를 총 에너지 E와 질량 m 및 위치에너지에 대한 고전역학적 공식
:E=\frac{p^2}{2m}+V (단순히 총 에너지를 운동 에너지와 위치 에너지의 합으로 나타낸 것)
에 대입하여, 당시에 슈뢰딩거가 얻었던 위치에너지가 주어진 3차원 공간 상의 단일입자에 대한 공식에 도달한다.
:i\hbar\frac{\partial}{\partial t}\psi=-\frac{\hbar^2}{2m}\nabla^2\psi + V\psi.

## 관련 방정식
슈뢰딩거 방정식은 비상대론적이므로, 특수상대론과 불합한다. 슈뢰딩거 방정식을 상대론적으로 일반화하면 스핀에 따라 클라인 고든 방정식이나 디랙 방정식 따위를 얻는다. 이들은 비상대론적인 극한에서 슈뢰딩거 방정식으로 수렴한다.

또한, 슈뢰딩거 방정식에 비인 항을 추가할 수도 있다. 예를 들어, 응집물질물리학에서 보스-아인슈타인 응축을 나타내기 위해 사용하는 그로스-피타옙스키 방정식은 슈뢰딩거 방정식에 사승 상호작용을 추가한 것이다.

## 같이 보기
* 파동 방정식
* 

## 각주

## 외부 링크
* 
* 
* 
* 

분류:편미분 방정식
분류:양자역학
분류:사람 이름을 딴 낱말
분류:오스트리아의 발명품
분류:물리학 개념
분류:에르빈 슈뢰딩거
분류:물리학 방정식
라플라스 방정식

**라플라스 방정식**(Laplace's equation)은 2차 편미분 방정식의 하나로, 고윳값이 0인 라플라스 연산자의 고유함수가 만족시키는 방정식이다. 전자기학, 천문학 등에서 전위 및 중력 퍼텐셜을 다룰 때 쓰인다. 피에르시몽 라플라스의 이름을 땄다. 라플라스 방정식의 해를 **[[조화함수]]**라고 한다.

## 정의
n차원 리만 다양체에서 \Delta가 라플라스-벨트라미 연산자라고 하자. 그렇다면 **라플라스 방정식**은 다음과 같은 2차 편미분방정식이다.
:\Delta\phi=0.
3차원 유클리드 공간에서는
:\Delta=\frac{\partial^2}{\partial x^2}+\frac{\partial^2}{\partial y^2}+\frac{\partial^2}{\partial z^2}
이므로,
:{\partial^2 \varphi\over \partial x^2 } + {\partial^2 \varphi\over \partial y^2 } + {\partial^2 \varphi\over \partial z^2 } = 0
이 된다.

### 관련된 편미분 방정식
우변을 주어진 함수 f(x,y,z)로 바꾼 경우
:\Delta \phi = f
는 푸아송 방정식이라고 한다. 즉, 라플라스 방정식은 f=0인 푸아송 방정식의 특수한 경우다.

우변을 다음과 같이 바꾸면
:\Delta\phi=k^2\phi
헬름홀츠 방정식을 얻는다. 라플라스 방정식은 k^2=0인 경우다.

코시-리만 방정식의 해의 두 성분 모두 각각 라플라스 방정식을 만족한다. (즉, 정칙함수의 실수 또는 허수 성분은 조화함수다.)

## 경계 조건
라플라스 방정식의 디리클레 문제란 어떤 영역 D의 경계에서의 φ가 특정 함수로 주어졌을 때, 영역 D위의 해 φ를 구하는 것이다. 열전도에서 등장하는 라플라스 방정식을 빗대어 보면, 이 문제는 다음과 같이 해석할 수 있다. 경계면의 온도를 특정한 온도로 일정하게 유지하고 내부의 온도가 더 이상 변화하지 않을 때까지 기다린 후 내부의 온도 분포를 찾는 것이 디리클레 문제에 해당한다.

라플라스 방정식의 노이만 경계 조건은 경계 D에서 함수 \varphi 자신이 아니라 법선 도함수를 조건으로 가진다. 물리학에서는 경계에서만 벡터장의 효과를 알고 있을 때 그 벡터장의 퍼텐셜을 구하는 데 사용한다.

라플라스 방정식의 해를 조화 함수라고 한다. 조화 함수는 방정식의 해가 되는 영역에서는 항상 해석적이다. 만일 두 함수가 각각 라플라스 방정식(또는 선형 동차 미분방정식)의 해라면, 두 함수의 선형 결합도 해이다. 이 성질을 중첩의 원리라고 하며 복잡한 문제의 해를 간단한 해들로 나타낼 수 있기 때문에 유용하게 쓰인다.

## 2차원 라플라스 방정식
2차원에서 라플라스 방정식은 두 개의 의존변수
:\frac{\partial^2\psi}{\partial x^2} + \frac{\partial^2\psi}{\partial y^2} \equiv \psi_{xx} + \psi_{yy} = 0.
의 형태로 나타난다.

### 2차원 라플라스 방정식의 차분방정식
:u\left( x+h,y \right)+u\left( x,y+h \right)+u\left( x-h,y \right)+u\left( x,y-h \right)-4u\left( x,y \right)=0
h는 격하게 (mesh size)

푸아송 방정식의 차분방정식은 다음과 같다.
:u\left( x+h,y \right)+u\left( x,y+h \right)+u\left( x-h,y \right)+u\left( x,y-h \right)-4u\left( x,y \right)=h^{2}f\left( x,y \right)

### 해석적 함수
복소 범위의 해석적 함수 f의 실수부와 허수부는 모두 라플라스 방정식을 만족한다.
z=x+iy이고
: f(z)=u(x,y)+iv(x,y)
라 하자. f(z)가 해석적이려면
: u_x = v_y, v_x=-u_y
를 만족해야 한다(코시-리만 방정식). 여기서
: (u_y)_y=(-v_x)_y=-(v_y)_x = -(u_x)_x
이다. 따라서 u는 라플라스 방정식을 만족한다. v도 비슷한 방법으로 라플라스 방정식을 만족함을 보일 수 있다.

### 2차원 라플라스 방정식과 푸리에 급수
극좌표계 (r,\theta)에서 라플라스 연산자는 다음과 같다.
:\Delta=r^{-1}\frac\partial{\partial r}r\frac\partial{\partial r}+r^{-2}\frac{\partial^2}{\partial\theta^2}.
따라서 그 일반해는 변수분리법으로 구할 수 있고, 다음과 같다.
:\phi(r,\theta)=\sum_{n=-\infty}^\infty\left(a_nr^n\cos n\phi+b_nr^n\sin n\theta\right).
이는 함수 \phi의 푸리에 급수임을 알 수 있다. 이는
:\phi(r,\theta)=\operatorname{Re}\left[\sum_{n=-\infty}^\infty(a_n-ib_n)z^n\right]
으로 나타낼 수 있다. 즉, 푸리에 급수의 계수는 로랑 급수의 계수와 같다.

## 3차원 라플라스 방정식
3차원 공간에서, 구면좌표계 (r,\theta,\phi)에서 변수분리법을 적용하면 라플라스 방정식의 일반해는 다음과 같다.
:f(r,\theta,\phi)=\sum_{l=0}^\infty\sum_{m=-l}^l \left(a_l^m r^l + b_l^m r^{-l-1}\right)Y_l^m(\theta,\phi).
여기서 Y_l^m(\theta,\phi)는 구면 조화 함수이고, a_l^m와 b_l^m은 임의의 계수다. 물론, f가 원점에서 연속적이려면 b_l^m=0이다.

## 같이 보기
* 헬름홀츠 방정식
* 퍼텐셜 이론
* 포텐셜 유동
* 언쇼 정리

## 외부 링크
* 

분류:방정식
분류:조화해석학
분류:타원 편미분 방정식
분류:푸리에 해석학
분류:피에르시몽 라플라스
분류:조화 함수