hotchpotch/miracl-hf-unified huggingface dataset:
음계
음계(音階)는 음악에서 음높이(pitch) 순서로 된 음의 집합을 말한다. 악곡을 주로 구성하는 음을 나타낸 것이며 음계의 종류에 따라 곡의 분위기가 달라진다.
음계의 각각의 음에는 위치에 따라 도수가 붙는다.
음계는, 음계가 포함하고 있는 음정(interval)에 따라서 이름을 붙일 수 있다.
또는 음계가 포함하고 있는 서로 다른 피치 클래스의 수에 따라서 이름을 붙일 수 있다.
"음계의 음정(interval) 뿐만 아니라 음계를 만드는 음(note)의 수가, 한 문화권의 음악에 독특한 음악적 특징을 지니게 한다" "어떤 음계의 음의 수보다, 음의 거리(interval, pitch distance)가 음악의 소리에 대해서 더 많은 것을 알려준다."
온음계와 반음계(半音階)는 서양 음악에서 쓰이는 용어이다. 자체로는 음계에 관한 말이지만, 온음계적·반음계적인 선율, 화음, 화성 진행 등의 표현으로도 쓰인다. 대부분의 경우 온음계는 7개 음으로 이루어진 장음계를 말한다. 20세기 음악론에서는 반음계가 아닌 모든 음계(이를테면 팔음음계)를 말할 때 쓰이기도 한다.
반음계는 12개의 반음으로 이루어진 음계를 말한다.
계이름은 음계를 기준으로 한 음의 이름이다. 장음계를 이루는 음의 계이름은 으뜸음부터 위로 올라가면서 각각 도, 레, 미, 파, 솔(), 라, 시(), 도가 된다.
서양 음악에서는 도·레·미·파·솔·라·시로 된 7음계가 많이 쓰이지만 한국 전통 음악에는 황종(黃鍾)-미♭·태주(太蔟)-파·중려(仲呂)-라♭·임종(林鍾)-시♭·무역(無射)-레♭으로 된 5음계가 많이 쓰이고, 중국 전통 음악에는 궁-도·상-레·각-미·변치(變徵)-올림화(Fa )·치-솔·우-라·변궁(變宮)-시로 7음계를 많이 쓴다.
한국 전통 음악에서는 5음계 외에도 3음계 또는 악계통에서는 7음계 등이 쓰인다.
5월 31일
5월 31일은 그레고리력으로 151번째(윤년일 경우 152번째) 날에 해당한다.
6월 30일
6월 30일은 그레고리력으로 181번째(윤년일 경우 182번째) 날에 해당하며, 6월의 마지막 날이다.
가위
가위()는 손으로 잡아 종이 등을 쉽게 자를 수 있게 하는 도구이다. 두 장의 얇은 금속 날을 결리지 않도록 엇갈리게 나사로 엮어, 그 두 날이 지레의 원리로 움직이면서 서로 부딪치면 절단력이 발생한다. 플라스틱 판, 얇은 철판, 머리카락, 끈, 종이, 옷감, 강삭 등을 자를 때 쓰인다.
핑킹가위는 무늬를 내며 자를 때 사용하는 가위이다. 무늬의 종류는 여러가지이며 물결무늬 지그재그 톱니모양 등이 있다.
지렛대의 원리에 바탕을 둔 것으로 지레의 작용점 · 받침점 · 힘점의 상호관계에 의하여, 힘점이 작용점과 받침점 사이에 있는 원지점식(元支點式), 지레의 받침점이 힘점과 작용점의 사이에 있는 중간지점식, 작용점이 힘점과 받침점 사이에 있는 선(先)지점식의 3가지로 구별된다.
따라서 이것을 응용한 가위도 3종으로 대별된다. 원지점식에 속하는 것으로서 손자수용 가위 ·잎따기가위 ·망(綱)베기가위 등이 있고, 중간지점식에 속하는 것으로는 재단가위 ·꽃가위 ·전정가위 ·전지가위 ·잔디가위 ·양철가위 ·버튼홀가위 ·의료가위 ·이용(理容)가위 등이 있다. 선지점식에 속하는 것은 눌러서 자르는 가위와 과일따기 가위 등이 있다.
지금까지 발견된 세상에서 가장 오래된 가위는 양모를 깎는데 사용했다고 전해지는 기원전 1000년경 그리스에서 만들어진 철쇠로 만든 가위이다. 청동가위는 보기가 힘들다. 특히 로마 시대의 유물로 가위가 많이 발견되었으며, 이 시대 가위는 라틴 문화 중기에 중부 및 북유럽 등으로 전해졌다. 라틴 문화의 가위는 남자의 무덤에 부장되어 있는 것으로 보아, 알려져있던 양모를 깎기 위한 것이 아니고 수염을 깎는 데 쓰인 것으로 추측된다. 그리고 로마 시대의 유물에서 발견된 날이 짧고 튼튼하게 만들어진 가위는 철사나 튼튼한 실, 얇은 철판등을 자르는 데 사용된 것으로 보인다. 한국에서는 경주 분황사 모전석탑에서 발견된 신라 시대가 위가 가장 오래된 것이며, 모양이나 쓰임새가 중국에서 발견된 것과 같은 걸로 보아 가위는 중국 에서 건너왔을 것이라고 학자들은 말한다. 전 세계에서 발견된 유물을 비교해볼 때 가위는 서양에서 처음 만들어져 사용되다가 중국에 전해졌을 거라고 추측할 수 있다.
위키
위키(, )는 불특정 다수가 협업을 통해 직접 내용과 구조를 수정할 수 있는 웹사이트를 말한다.
일반적인 위키에서 텍스트는 단순화된 마크업 언어(위키 마크업)을 이용하여 작성되며, 리치 텍스트 에디터의 도움을 받아 편집하기도 한다. 위키는 지식경영이나 기록 등 다양한 용도로 이용된다. 공동체용 웹사이트나 조직 내 인트라넷에 쓰이기도 한다. 그러나 주로 개인적인 용도로 이용되는 위키도 있는데, 이를 개인 위키라고 한다.
최초의 위키 소프트웨어인 위키위키웹(WikiWikiWeb)을 만든 워드 커닝엄은 위키를 "동작하는 가장 단순한 온라인 데이터베이스" 라고 설명했다. "위키"는 "빠른"을 뜻하는 하와이어 "wiki"(발음은 위티[ˈwiti]나 비티[ˈviti])에서 왔다.
워드 커닝엄이 보 뢰프와 같이 쓴 《위키 방식: 웹 상의 빠른 협업("The Wiki Way: Quick Collaboration on the Web")》이라는 책에서, 위키의 가장 핵심적인 개념을 다음과 같이 꼽았다.
위키는 간단한 마크업 언어와 웹 브라우저를 이용, 함께 문서를 작성하는 공동체를 가능케 한다. 위키 웹사이트의 한 문서는 "위키 문서"라 부르며, 하이퍼링크로 서로 연결된 전체 문서를 "위키"라 한다. 위키는 본질적으로 정보를 만들고, 찾아보고, 검색하기 위한 데이터베이스다. 위키는 비선형적인, 진화하는, 복잡하게 얽힌 문서, 토론, 상호 작용을 할 수 있게 돕는다.
위키 기술을 정의하는 특징은 문서를 간단히 만들고 고칠 수 있다는 점이다. 일반적으로 수정이 반영되기 전에 승인이나 검토의 과정이 없다. 대부분의 위키는 사용자 등록을 요구하지 않고, 일반에게 공개되어 있다. 많은 편집자가 실시간으로 만들며, 즉시 온라인으로 배포된다. 단 이는 시스템의 남용을 유발할 수 있지만 주로 장점이 더 많다. 개인 위키는 문서를 고치거나 읽기 위해 사용자 인증을 요구하기도 한다.
일반적으로 위키 문서는 위키 마크업이라 불리는 간단한 마크업 언어로 이뤄져 있다. 예를 들어 별표(*)로 시작하는 줄은 목록을 표시하는데 사용된다. 위키 마크업의 문법은 위키 소프트웨어마다 다르며, 일부는 HTML을 직접 사용할 수 있도록 하기도 한다.
점차 사용자가 위지윅(WYSIWYG) 편집을 할 수 있도록 지원하는 위키가 늘고 있다. 위지윅 편집은 위키 마크업의 모든 기능을 제공하지 못하므로, 이들 사이트에서는 편집자가 위키 문서를 직접 수정하는 방법을 제공하기도 한다.
대부분의 위키는 위키 문서의 변경 이력을 보존하고 있다. 편집자는 쉽게 문서를 예전 판의 내용으로 되돌릴 수 있으며, 이는 사용자의 실수나 고의적 훼손 때문에 필요한 기능이기도 하다. 미디어위키를 비롯한 많은 위키 소프트웨어는 문서를 편집할 때, "편집 요약"을 남길 수 있도록 한다. 이 편집 요약은 문서 본문에는 남지 않으나, 문서의 이력에서 편집 이유를 설명할 수 있도록 지원함
대부분의 문서는 다른 문서를 가리키는 수많은 하이퍼링크를 포함하고 있다. 사용자는 필요에 따라 다른 문서의 목차나 색인을 따로 구축할 수도 있다. 여러 편집자가 임의로 문서를 만들고 삭제하기 때문에 수동으로 이런 목차나 색인을 유지하는 것은 쉬운 일은 아니다. 위키 소프트웨어는 이를 돕기 위해 분류나 태그 기능을 제공한다.
대부분의 위키는 현 문서를 가리키는 다른 문서를 찾는 백링크 기능을 제공한다.
위키에서 존재하지 않는 문서를 가리키는 링크를 만드는 것은 일반적인 일로, 다른 사용자가 자신이 아는 내용을 채울 수 있도록 유도한다.
위키의 문서는 문서의 제목과 표기는 다르지만 발음이 같은 등의 경우에 해당되면 그 문서의 제목과 거의 같은 명칭, 혹은 그 문서의 제목과 같은 명칭이 아니지만 그 문서가 설명하는 대상을 가리키는 또 다른 명칭이 있는 경우 넘겨주기를 이용해서 넘겨주기 문서를 만들어 그 명칭으로도 그 문서가 설명하는 대상의 원래 제목과 같은 내용의 문서에 들어갈 수 있다.
다른 문서에 대한 링크는 "링크 패턴"이라는 문법을 통해 지원된다. 원래 대부분의 위키는 낙타 표기법(CamelCase) 방식으로 문서를 만들고 연결했다. 단어의 첫 글자를 대문자로 하고, 사이의 공백을 지워서 만들 수 있다. 이 방식은 로마자를 쓰는 경우, 쉽게 링크를 만들 수 있다. 한 단어로 되어 있는 문서를 만들 경우, 단어 중간의 한 글자를 임의로 대문자로 만들어서 이용한다. (예를 들어 "wiki"라는 문서를 "WiKi"로 표기한다거나 한다.) 낙타 표기법을 쓰는 위키는 "TableOfContents" 등을 링크로 사용하므로 쉽게 알아챌 수 있다. 일부 소프트웨어는 두 단어 사이에 다시 공백을 넣어서 사용자가 보기 좋게 표시해주기도 한다. 그러나 대문자 표기를 되돌리는 건 쉽지 않다. 예를 들어 "RichardWagner"는 "Richard Wagner"처럼 각 단어가 대문자로 표시되어야 하나, "PopularMusic"은 소문자인 "popular music"로 표시되어야 한다. 일부 위키는 괄호를 이용한 자유 링크 기능을 지원하기도 하며, 일부는 낙타 표기법 링크 기능을 막기도 한다.
대부분의 위키는 문서 제목을 이용한 검색을 지원하며, 일부 위키는 본문 검색을 지원하기도 한다. 검색의 확장성은 위키 엔진이 사용하는 데이터베이스에 따라 좌우된다. 일부 위키는 일반 파일을 사용하기도 한다. 미디어위키도 초기 버전에서는 일반 파일을 저장용으로 사용하기도 했으나, 2000년대 초에 데이터베이스를 사용하도록 다시 작성되었다. 데이터베이스의 색인 기능은 대형 위키에서 빠른 검색을 위해 필요하다. 대안으로 일부 위키는 구글 검색 등 외부의 웹 검색 엔진을 이용하기도 한다...
최초의 위키 소프트웨어는 위키위키웹(WikiWikiWeb)으로, 워드 커닝엄이 창안했다. 커닝엄은 1995년에 위키위키웹을 만들기 시작하면서 처음으로 위키의 개념을 고안했고, 위키라는 이름도 지었다. 또한 최초의 위키 서버를 만들기까지 했다. 위키 소프트웨어는 디자인 패턴 모임에서 패턴 언어를 쓰면서 생겼으며, Portland Pattern Repository(PPR)가 최초의 위키였었다.
지구과학
지구과학(地球科學, )은 행성인 지구를 대상으로 연구하는 학문들을 묶어 부르는 이름이다. 일반적으로 지구과학으로 불리는 학문들은 대기에서 일어나는 현상을 대상으로 하는 기상학, 지구 표면의 물질을 주로 대상으로 하는 지질학, 바다 현상을 대상으로 하는 해양학, 지구의 깊은 속에서 일어나는 현상을 대상으로 하는 지구물리학 등이 있다.
지구과학에는 많은 전문 분야가 포괄되지만 대체로 여섯 가지로 나뉜다.
아오조라 문고
아오조라 문고()는 ‘일본어판 구텐베르크 프로젝트’로 불리는 일본의 인터넷 전자도서관으로, 저작권이 풀린 문학작품을 수집, 전자문서화해서 인터넷에 공개하고 있다. 저자 사후 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개의 큰 맥락을 갖는다.
1. 구텐베르크 프로젝트에 영구적, 전 세계적, 비 독점, 철회 불가능한 저작권 라이선스를 부여하고, 무
제한적인 재배포를 허용함.
2. 작품은 플레인 텍스트 또는 HTML버전, 또는 두 가지 버전으로 제공되어야 함.
이러한 프로젝트 구텐베르크 라이선스는 이후 몇몇 추가된 라이선스를 도입했으며 이전의 라이선스와 추가변형된 라이선스는 '프로젝트 구텐베르크'의 공식웹사이트에서 전문을 확인할수있다.
겐지 이야기
《겐지 이야기》()는 일본 헤이안 시대 중기(11세기)에 지어진 소설이다. 작가는 무라사키 시키부라고 여겨지지만. 54첩에 달하는 장편으로 800여 수의 와카(和歌)가 들어있다. 고대의 일본 문학의 최고 걸작이라는 의견도 있다. 이야기는 헤이안 시대를 배경으로 천황의 황자로 태어나 신하 계급으로 떨어진 히카루 겐지(光源氏)와 그의 아들 세대까지의 이야기를 그리고 있다. 본격적인 소설로서는 세계최고에서, 세계최장의 작품이다.
등장인물은 500명에 가깝고 4대의 임금 70여 년에 걸친 장편이다. 작자는 궁정 귀족사회의 진상을 포착하고, 인간의 운명을 깊고 예리하게 응시하고 있다. 성격묘사라든지 자연묘사에서 세세한 부분에까지 빛을 발하는 완성도가 높은 작품이다.
귄터 그라스
귄터 그라스(, 1927년 10월 16일 ~ 2015년 4월 13일)는 독일의 소설가이자 극작가다.
독일 단치히 자유시(오늘날 폴란드의 그단스크)에서 식료품 상인이었던 독일계 아버지와 슬라브계 어머니 사이에서 태어났다. 하버드 대학에서 명예박사학위를 받았다. 1999년에 노벨 문학상을 수상하였다.
제2차 세계 대전 당시 독일 제국노동봉사대(RAD)에서 근무하던 중, 1944년에 무장친위대에 입대하여 10 SS기갑사단 프른즈베르크로 발령받아 참전했다. 징집당한 것이라는 얘기도 있으나, 당시 친위대의 독일인 대원들은 징집 대상이 아니라 자원 입대가 기본이었다(국방군 육군은 징병제였다). 종전후 부상당한 채 미군 포로로 잡혀 1946년까지 포로 수용소에 수감되었다. 이런 사실은 그라스 자신이 최근 발간한 자서전에서 인정했다.
전후 1947~48년에는 광산에서 일하며 석공 기술 과정을 마친다. 이어 1948년부터 1952년까지는 뒤셀도르프 미술대학에서 그래픽과 조각을, 1953년부터 1956년까지는 베를린 예술대학에서 조각을 배웠다.
1955년 슈투트가르트 방송국의 서정시 경연대회에 입상하고, 1956~57년에 예술 작품 전시와 별도로 작가 활동을 시작했다. 1958년까지 단문, 시, 희곡 등을 발표한다. 1954년에 결혼을 하고, 1960년부터 계속 베를린에 산다. 1959년에 매우 묘사적인 언어로 나중에 영화화 되기까지 한 《양철북》을 발표했다. 이 작품으로 그는 제2차 세계 대전 후 처음으로 세계 문학계에 이름을 날린 독일 작가가 된다. 이어  에서도 전쟁 전과 전쟁 후에 걸친 시대의 과오와 대결하고 있으며, 무대는 다같이 단치히이다. 이밖의 작품에   등이 있다. 1996년 유럽문화공로상을 받았다.
그는 소설가로 활약하는 한편, 부조리극적인 소품(小品)인    등을 발표한 바 있는데, 현대정치에도 직접 행동으로 참가하여 동·서 독일의 분열이라는 가장 현실적인 문제에 대담하게 도전한 (1965)을 발표했다. 1953년 동독의 폭동 당시 브레히트를 모델로 하여 예술과 정치의 관련을 추구한 작품으로 이 있다.그라스는 전후 독일 사회민주당의 주요 지지자가 되어 외국인 혐오증, 신나치주의 등에 반대하는 사회활동에 적극 참여하였다.
일반 상대성이론
일반 상대성이론(一般相對性理論, , ) 또는 일반상대론(一般相對論, )은 알베르트 아인슈타인이 1915년에 발표한, 중력을 상대론적으로 다루는 물리 이론이다. 현재까지 알려진, 중력을 다루는 이론 가운데 가장 정확하게 실험적으로 검증되었다.
일반 상대성 이론은 중력을 시공간의 곡률이라는, 기하학적 언어로 기술한다. 시공의 곡률(아인슈타인 텐서)은 (우주 상수를 무시하면) 4차원 운동량 밀도에 비례하는데, 이를 아인슈타인 방정식이라고 한다. 일반 상대성 이론에서는 관성계뿐만 아니라 비관성계를 포함한 임의의 좌표계에 대해 물리 법칙이 동등한 형태를 유지하여야 한다.
자유낙하하는 승강기와 승강기 바닥에서 승강기 천장으로 쏘여진 빛을 떠올려보자. 승강기 안에서 승강기와 같이 자유낙하하는 관찰자는 빛에서 어떠한 도플러 효과도 보지 못할 것이다. 왜냐하면 등가원리를 따르면, 중력장 내에서 자유낙하하는 관찰자는 중력장이 없는 관성계의 관찰자와 같으며, 중력장이 없는 관성계에서는 빛에 어떠한 변형도 일어나지 않기 때문이다. 따라서 자유낙하하는 관찰자는 승강기 천장에 설치된 빛 감지기에서 어떠한 도플러 효과도 나타나지 않을 것이라고 결론짓는다. 하지만 승강기 밖에서 땅 위에 서있는 관찰자는 빛에서 도플러 효과를 기대한다. 왜냐하면, 승강기가 자유낙하를 시작할 때 빛이 출발했다고 가정하면, 빛이 승강기 바닥에서 승강기 천장으로 가는 시간 formula_1 동안 승강기 천장은 formula_2만큼 빠르게 되고, 이 속도에 따라 빛에 대한 청색편이를 감지해야 하기 때문이다. 여기서 청색편이는 느린 속도 근사식 formula_3만큼 일어났다고 가정한다.
감지기가 어떤 관찰자에게는 도플러 효과가 없다고 감지하고, 어떤 관찰자에게는 청색편이의 도플러 효과가 있다고 감지할 수는 없으므로, 우리는 청색편이의 결과를 상쇄시켜 자유낙하하는 관찰자의 결과와 일치시킬 어떤 것을 필요로 한다. 다행히, 중력장이란 존재가 있으므로, 중력장이 청색편이를 상쇄시키는 적색편이를 일으켰다고 할 수 있다. 중력 적색편이는 formula_4만큼 일어나며, 여기에 빛이 감지되었을 때의 승강기 천장의 속도와, 빛이 승강기 천장으로 가는 시간을 대입하면 formula_5라는, 중력 퍼텐셜의 차이 formula_6에 따른 적색편이의 식을 얻을 수 있다. 그러므로 승강기에서처럼 빛 방출기와 빛 감지기가 서로 상대적인 운동에 있는 상황이 아니라, 서로에 대해서 정지해있는 상황이라면, 빛의 감지기는 청색편이로 상쇄되지 않는 중력 적색편이를 감지할 것이다.
빛의 감지기가 빛의 방출기에 대해서 정적인 상황에서, 어떻게 서로 다른 진동수를 얻을 수 있을까? 다시 말해, 빛의 감지기와 빛의 방출기가 단위 시간 당 서로 다른 갯수의 파면을 받아들일까? 아인슈타인은 여기에 대해서 파면의 갯수는 동일하지만, 빛의 감지기와 빛의 방출기가 서로 다른 시간 단위를 갖는다고 지적했다. 즉, 서로 다른 중력 퍼텐셜에 위치한 시계에서는 서로 다른 빠르기로 시침이 움직인다는 뜻이다. 진동수는 그 곳의 고유 시간에 반비례 하므로, formula_7이며, 이를 중력 적색편이 식에 집어넣으면, formula_8의 식을 얻을 수 있다.
일반 상대성 이론에서는 시공을 특수 상대성 이론의 민코프스키 공간에서 임의의 (로런츠 계량 부호수 −+++를 가진) 준 리만 다양체로 확장한다. 다양체의 계량 텐서 formula_9로서 시공간의 곡률을 정의하고, 이 곡률을 중력으로 재해석한다. 뉴턴 역학에서 중력은 (중력적) 질량의 밀도에 의하여 결정된다. 질량의 밀도를 자연스럽게 상대화하면 에너지-운동량 텐서를 얻는다. 아인슈타인과 다비트 힐베르트는 아인슈타인-힐베르트 작용 을 통해 다음과 같은 장 방정식을 얻었으며, 이는 오늘날 아인슈타인 방정식으로 알려져 있다.
여기서 기호는 다음과 같다.
이 식으로부터, 중력장이 약하다고 가정하면 뉴턴의 역제곱 법칙을 비상대론적 극한으로 얻는다.
공간 좌표를 formula_17으로 하고 시간 좌표를 formula_18로 하면, 세계선의 선소 formula_19는 formula_20 로 표시된다.
formula_21와 formula_22는 시간과 공간의 좌표를 나타내는 인덱스로 0은 시간, 1,2,3은 공간 성분을 표시한다. formula_9는 시공간 사이의 변환을 나타내는 계량 텐서이다. 예를 들어 가장 평탄한 시공간을 나타내는 민코프스키 계량 텐서의 경우
이다.
일반 상대성 이론에서, 중력 밖의 다른 힘이 작용하지 않고, 그 무게가 무시할 만큼 작은 입자는 시공간의 측지선을 따라 움직인다. 측지선은 시공에서 고유 시간을 극대화하는 경로이다. 즉, formula_25이다.
일반 상대성 이론은 실험적으로 성공적이나, 이를 주로 양자장론과 관련하여 여러 가지로 확장할 수 있다. 일반상대론에 비틀림을 더한 이론은 아인슈타인-카르탕 이론이고, 중력상수를 스칼라장으로 승진시키면 브랜스-딕 이론을 얻는다. 일반 상대성 이론에 추가 차원을 도입하여 다른 상호작용을 포함시키는 이론은 칼루차-클라인 이론이며, 초대칭을 도입하면 초중력 이론을 얻는다. 또한 초끈이론 에서는 아인슈타인-힐베르트 작용을 자연스럽게 얻을 수 있으며, 고리 양자 중력에서는 아인슈타인-힐베르트 작용을 가지고 이를 양자화 한다는 것에서 시작한다.
데니스 리치
데니스 매캘리스테어 리치(1941년 9월 9일 ~ 2011년 10월 12일)는 미국의 저명한 전산학자이자 현대 컴퓨터의 선구자이다. C와 유닉스로 알려져있다.
미국의 뉴욕 주 브롱스빌(Bronxville)에서 태어났으며, 1967년 하버드 대학교에서 물리학과 응용수학 학위를 얻었다. 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년에 켄 톰프슨과 "범용 운영체제 이론개발, 특히 유닉스 운영체제의 구현에 대한 공로"로 튜링상을 수상했다.
미국의 경제 전문지 '비즈니스 인사이더'에서는 '현재의 애플 컴퓨터는 거의 모두 데니스 리치의 업적에 기반하고 있다'이라며 그의 업적을 평가했다. 현재 애플 매킨토시의 OS X와 아이폰의 iOS는 모두 유닉스 운영체제를 기반으로 만들어져 있다.
주기율표
주기율표(週期律表, , ) 또는 주기표(週期表)는 원소를 구분하기 쉽게 성질에 따라 배열한 표로, 러시아의 드미트리 멘델레예프가 처음 제안했다. 1913년 헨리 모즐리는 멘델레예프의 주기율표를 개량시켜서 원자번호순으로 배열했는데, 이는 현대의 원소 주기율표와 유사하다.
가장 많이 쓰이는 주기율표에는 단주기형과 장주기형이 있다. 단주기형 주기율표는 1주기와 3주기를 기준으로 하고, 4주기 아래로는 전형원소와 전이원소가 같은 칸에 있다. 이 단주기형 주기율표는 초기에 쓴 모델로 원자가 많이 알려지지 않았을 때 많이 사용하였다. 장주기형 주기율표는 현재 가장 많이 쓰고 있는 주기율표이다.
주기율표의 역사는 요한 볼프강 되베라이너의 "세쌍원소"로부터 시작된다. 그는 실험을 통해 세 개의 원소로 이루어진 무리 중 어떤 원소들은 첫 번째 원소와 세 번째 원소의 물리량 평균이 두 번째 원소랑 같음을 확인했다. 그 구체적인 예로는 칼슘(Ca), 스트론튬(Sr), 바륨(Ba) 원소가 있는데 여기서 Sr의 물리량은 Ca과 Ba 원소의 물리량을 합하여 2로 나눈 평균값과 비슷하거나 같다. 되베라이너는 이들을 "세쌍의 원소" 라고 불렀다. 이러한 세 쌍 원소 관계를 만족하는 원소들은 칼슘-스트론튬-바륨, 염소-브로민-아이오딘, 그리고 리튬-나트륨-칼륨이 대표적인데 이를 만족하는 원소수가 적어 인정받지 못하였다.
영국의 과학자 존 뉴랜즈는 원소들을 원자량의 순으로 배열하면 8번째 원소마다 비슷한 성질의 원소가 나타나는 것을 발견하였고, 이를 피아노의 개념에 대입하여 옥타브 법칙을 세웠다. 하지만 이 대응성은 3번째 줄에서부터 어긋나기 시작했고, 처음 이 이론이 발표되었을 때만 해도 그는 웃음거리가 되었으나 이후 여러가지 실험이 뉴랜즈의 법칙의 중요성을 보였다. 현재는 비활성 기체가 발견되었으므로 원소들은 9번째마다 비슷한 성질이 나타난다.
멘델레예프는 화학 교수였다. 멘델레예프는 원소의 규칙을 밝히기 위해 이런저런 시도를 하다가 결국 원소들을 원자량순으로 나열하면 되베라이너의 세쌍원소, 뉴랜즈의 옥타브 법칙을 만족하게 된다는 것을 알게 되었다. 그는 원소가 어떤 함수의 결과라는 것을 확실히 믿었지만 비활성 기체가 발견되면서 그의 주기율표는 바뀌기 시작했다.
멘델레예프의 문제는 영국의 모즐리에 의해 풀렸다. 그는 음극선관을 이용하여 생성되는 X선의 파장을 연구하여 양성자 수에 따라 화학적 성질이 달라진다는 것을 밝혀냈다. 이를 모즐리의 법칙이라하며, 이것을 기본으로 현대적 의미의 주기율표가 탄생했다.
최근, 수소와 헬륨의 위치에 대한 논쟁이 이어지고 있다. 현재의 주기율표에서는 수소를, 마찬가지로 가장 바깥쪽 껍질에 전자를 하나 가진 리튬 위에 배열한다. 그러나 수소는 금속 원소가 아니며, 일부에서는 수소가 전자의 구조 면에서는 알칼리 금속이 아닌 할로겐에게 가깝고 할로겐 원소와 성질이 비슷하다고 주장하며, 수소의 위치를 17족 원소로 옮겨야 한다고 주장한다.
마찬가지로 생각해서, 수소가 1족 원소라면 헬륨도 베릴륨 위인 2족 원소로 배치해야 한다는 설이 있다. 그러나 헬륨은 비활성 기체이므로 현재처럼 네온 위인 18족 원소가 가장 적당하다고 한다.
아미노산
아미노산(영어: amino acid)은 생물의 몸을 구성하는 단백질의 기본 구성단위이다. 단백질을 완전히 가수분해하면 암모니아와 아미노산이 생성되는데, 아미노산은 아미노기와 카복시기를 포함한 모든 분자를 지칭한다. 화학식은 NHCHRCOOH(단, n=1~20)이다
생화학에선 흔히 α-아미노산을 간단히 아미노산이라 부른다. α-아미노산은 아미노기와 카복시기가 하나의 탄소(α-탄소라 부른다.)에 붙어있다. 프롤린(proline)은 실제로는 아미노기를 포함하지 않기 때문에, 엄밀하게 말해서 아미노산이 아니라, '이미노산'(imino acid)이다. 그러나, 생화학적으로 다른 진짜 아미노산과 비슷한 기능을 수행하기 때문에, 아미노산으로 분류한다.
일반적인 α-아미노산의 구조는 오른쪽 그림과 같다.
아미노기와 카복시기를 모두 포함하고 있어, 아미노산은 중성에서 쯔비터 이온(또는 양극성 이온이라고도 함.)으로 존재하며, 공명 안정화를 취한다.
여기서 "R"은 나머지라는 뜻의 "Residue" 혹은 "Remainder"의 머릿글자로 곁사슬(side chain)을 나타내고, 곁사슬에 따라 무슨 아미노산인지가 결정된다. 아미노산은 곁사슬의 성질에 따라 산성, 염기성, 친수성(극성), 소수성(비극성)의 네 가지 종류로 구분된다.
곁사슬 수소원자뿐인 글라이신(glycine)을 제외하고, 다른 아미노산은 모두 두가지 광학 활성을 가져, D형과 L형으로 구분된다. 단백질(protein)을 구성하는 아미노산의 거의 대부분은 L-아미노산 형태로 존재한다. 청자고둥(cone snail)같은 일부 특이한 바다생물에서 D-아미노산이 발견되기도 했다. 단백질은 아미노산의 축합중합을 통해 만들어진다.
다음 표는 22가지 아미노산의 종류, 기호와 약자, 화학적 성질의 목록이다. X 기호는 정해지지 않은 임의의 아미노산을 나타낸다. B 또는 Asx는 아스파라긴이나 아스파르트산 중 하나를 나타낸다. Z나 Glx는 글루타민이나 글루탐산 중 하나를 나타낸다. J 또는 Xle는 류신이나 아이소류신을 나타낸다. IUPAC/IUBMB은 셀레노시스테인은 U와 Sec, 피롤라이신은 O나 Ply로 나타내도록 추천하고 있다.
히라가나
히라가나(, )는 일본어에서 사용하는 두 가지 가나중 하나이다. 가타카나는 주로 외래어 표기 등에 쓰이고, 히라가나는 다음과 같은 용도로 쓰인다.히라가나는 여성이 많이 썼다고 한다. 그래서 온나데(; )라고 불린 적도 있다. 이런 이유로 히라가나는 여자들만 쓰는 글이라 하여, 오랫동안 일본의 공용 문서에선 가타카나와 한자(칸지)만이 사용되었다. 현재 일본 철도의 역명판에는 히라가나와 칸지가 적혀 있다. 히라가나는 헤이안 시대부터 쓰인 것으로 알려져 있다. 일본의 유아들도 가나를 배울 때는 히라가나를 먼저 배우고 가타카나를 나중에 배우기 때문에 유아용 그림책 등에는 가타카나로 쓰인 단어 위에 히라가나를 후리가나로 덧붙이기도 한다.히라가나는 만요가나에서 왔다.
메이지 시대 이전에는 히라가나의 모양이 확실히 정해지지 않고, 여러 형태의 문자가 사용되었다. 메이지 시대의 학제 시행 후에야 위와 같은 자형이 표준화되어 쓰이기 시작했다. 위 이외의 구식 자형은 헨타이가나(変体仮名)라고 부른다.
나라 이름순 수도 목록
나라 이름순 수도 목록(국가명 가나다순)은 나라 이름순으로 정렬된 수도 목록이다.
토마스 만
토마스 만(, 1875년 6월 6일 ~ 1955년 8월 12일)은 독일의 평론가이자 소설가이다. 사상적인 깊이, 높은 식견, 연마된 언어 표현, 짜임새 있는 구성 등에 있어서 20세기 독일 제일의 작가로 알려져 있다. 1929년 노벨 문학상을 비롯, 괴테 상 등 많은 상을 받았다.
토마스 만의 형은 급진적인 작가 하인리히 만이다. 그리고 6명의 자식 중 3명인 Erika Mann, 클라우스 만, Golo Mann들도 또한 독일의 중요한 작가로 성장했다.
토마스 만은 평의원이며 곡물 상인이었던 토마스 요한 하인리히 만과 율리아 다 실바 브룬스 부부 사이에서 두 번째 아들로 독일의 뤼베크에서 태어났다. 어머니 율리아는 7살 때 독일로 망명한 부분적 독일계 브라질리안이다. 토마스 만의 아버지가 1891년에 돌아가시면서 회사는 청산되었다. 1893년 뮌헨으로 이주하여 보험 회사의 견습 사원이 되었다. 이때 첫 작품 가 잡지에 실리면서 문단에 데뷔하였다.
토마스 만은 뤼베크 체육관 기술 분야에 참가하면서, 뮌헨 대학과 기술대학에서 시간을 보내게 된다. 그 당시 그는 역사, 경제학, 미술역사, 문학등을 공부하게 되면서 언론계로 커리어를 준비하게 된다. 그는 이탈리아 팔레스트리나에서 살았던 1년을 제외하면 1891년부터 1933년까지 형이자 소설가인 하인리히와 함께 뮌헨에 거주하게 된다. 토마스 만은 보험회사에서 1894년에서 1895년까지 일을 하게 된다. 그가 Simplicissimus에서 글을 쓰기 시작하면서 작가로서의 커리어를 시작하게 된다. 토마스 만의 첫 번째 소설은 1898년에 출판된 "꼬마 프리데만 씨" 이다.
1901년 부유한 상인의 집안이 4대에 걸쳐 몰락하는 과정을 그린 장편 을 발표하여 문단에서의 자리를 굳혔다.
그가 동성애 관계를 가졌다는 여러 정황이 있으나 종국에는 카티아 프링스하임과 사랑에 빠졌다. 1905년, 그는 그녀와 결혼을 하며, 6명의 아이들을 낳았다.
제1차 세계 대전이 일어나자    등 정치적 논설을 발표하고, 점차 구낭만주의적인 반지성주의를 벗어나, 새로운 휴머니즘을 품기 시작하였다. 1924년 12년간의 노력의 결정인 장편소설 을 발표하였는데, 이 소설은 손꼽히는 발전 소설로서 독일 문학사상 중요한 위치를 차지하고 있다.
1929년 토마스 만은 Nidden(, 리투아니아)에 있는 어촌에 오두막을 가진다. 그 곳에는 독일 예술 공동체가 있었으며, 1930년에서 1932년 여름에는 "요셉과 그의 형제들("Joseph and his Brothers")"을 집필한다. 현재 이 오두막은 소규모 전시를 하면서 토마스 만에 대한 문화적인 중심이 됐다.
1933년 나치스 정권 성립으로 조국을 떠나, 남프랑스·스위스 등을 거쳐, 1938년 미국에 이르렀다. 그 곳에서 프린스턴 대학에서 수업을 한다. 제2차 세계 대전 때는 높은 휴머니즘의 입장에서 민주주의 옹호를 위해 싸웠다.
1942년 그의 가족들은 캘리포니아 로스엔젤레스에 있는 로 이사를 한다. 그 곳에서 제2차 세계 대전이 끝날 때까지 살게 된다. 1944년 6월 23일, 토마스 만은 미국 시민권을 받게 된다. 1952년에 스위스, 취리히 근처에 있는 에서 살게 된다.
그는 독일을 규칙적으로 여행하긴 했지만, 그 후로 살지 않았다. 가장 유명한 독일 방문은 1949년 요한 볼프강 폰 괴테의 200주년이다.
1955년 취리히에 있는 한 병원에서 아테롬선 동맥 경화증으로 죽고, Kilchberg에 묻힌다. 많은 협회들이 그의 이름을 기린다.
토마스 만의 작품은 처음으로 H. T. Lowe-Porter가 번역했다. 그녀는 토마스 만의 작품을 영어권 사회에 크게 전파시켰다.
제1차 세계 대전 동안, 토마스 만은 카이저의 (독일의 빌헬름 2세) 보수주의를 지지하고 진보주의를 공격한다.
1930년 토마스 만은 베를린에서 "An Appeal to Reason" 라는 연설을 한다. 그는 강하게 나치중심 사회주의를 비난하고 운동권들에 의한 반대를 격력한다. 이것은 그가 집필한 수많은 평론과 문학에서 나치를 공격한 것에서 알 수 있다. 동시에 그는 사회주의자들의 생각에 대해서 늘어나는 동정을 표현했다. 1933년 나치가 집권을 했을 당시, 토마스 만과 아내는 스위스에서 주말을 보냈다. 나치 정책에 대한 그의 매우 강력한 비난 때문에, 아들 클라우스는 돌아가지 말자고 권했다. 하지만 토마스 만의 책은 하인리히나 클라우스의 책들과는 달리, 히틀러 정권에 의해서 태워지지 않았다. 물론 그것은 그가 1929년 노벨상을 받았기 때문이다. 결국 1936년 나치 정권이 공식적으로 토마스 만의 독일 시민권을 빼앗아간다. 몇 달 후, 그는 캘리포니아로 이사를 가게 된다.
그러나 1933년 8월 26일이라고 기록된 개인적인 편지(그러나 2007년 8월 30일에 공개됐다)에서, 이미, 토마스 만은 나치즘에 대한 견해를 표현하고 있었고, 이것은 후에 "파우스투스 박사(Doktor Faustus)"와 일치한다. 이 소설에서, 토마스 만은 2차 대전에서 모든 잔인함에 대한 독일 국민에 대한 역사적인 책임감을 가진 몇몇 지역들을 언급한다.
전쟁 동안, 토마스 만은 반-나치 라디오 연설 시리즈()를 만든다. 이것은 미국에서 녹음돼서 영국에 전해지고, BBC가 방송을 하게 되면서 독일 청취자들이 듣기를 원한다.
사회 비판가 의 컬렉션 "The Accidental Century"에 있는 "Images of Disorder'는 토마스 만의 정치적 성형이 바뀌는 것을 설명한다.
하인리히 뵐
하인리히 뵐(Heinrich Böll , 쾰른, 1917년 12월 21일 - 랑엔브로이히(Langenbroich) 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년 동맥경화로 세상을 떠났다.
그의 죽음 이후 독일 녹색당은 그의 저항적 삶을 기리기 위하여 당의 정책 연구소 이름을 '하인리히 뵐 연구소'라고 짓기로 결정하였다.
방정식
방정식(方程式, )은 미지수가 포함된 식에서, 그 미지수에 특정한 값을 주었을 때만 성립하는 등식이다. 이때, 방정식을 참이 되게 하는(성립하게 하는) 특정 문자의 값을 해 또는 근이라 한다. 방정식의 해는 없을 수도 있고, 여러 개일 수도 있고, 모든 값일 수도 있다. 전자의 경우는 불능이라고 하고, 중자의 경우는 방정식, 후자의 경우는 항등식(부정)이라 한다.
부정방정식은 해가 무수히 많지만, 항등식은 아니다.
예를 들어
은 문자 formula_2가 어떤 값이든 항상 등호가 성립하므로 항등식인 반면,
은 방정식이고, 그 해는 formula_4와 formula_5이다. 또한,
방정식의 방정(方程)은 고대 중국의 산학서인 구장산술의 여덟 번째 장의 제목인 方程에서 유래하였다. 여기서 方은 연립방정식의 계수를 직사각형 모양으로 배열한다는 뜻이고, 程은 이렇게 배열한 계수를 조작하여 해를 구하는 과정을 뜻한다. 이 해법은 약 1500년 뒤에 등장하는 가우스 소거법에 해당한다. 고대 중국의 수학자들은 이 과정에서 음수의 계산도 자유자재로 할 수 있었다.
방정식에서 해를 구하려는 문자, 즉 미지수로는 보통 formula_2를 사용한다. 미지수로 알파벳의 뒤쪽 문자 formula_9를 사용하는 것은 프랑스의 수학자겸 철학자인 데카르트로부터 비롯되었다.
다항 방정식과 분수 방정식을 통틀어 유리 방정식이라 한다.
일차방정식, 이차방정식, 삼차방정식, 고차방정식 등과 같이 미지수에 대한 다항식으로만 이루어진 방정식을 다항 방정식이라고 한다.
다항 방정식(多項方程式)은
과 같은 꼴로 나타낼 수 있는 방정식을 말한다.(formula_2는 변수, formula_12는 상수)
이 때, formula_13이면 이를 n차 방정식이라 한다.
일반적으로 다항 방정식
의 해는 다음과 같이 구한다.
formula_15를 인수 분해하여 formula_16 와 같은 꼴로 만든다.
formula_17의 해집합은
이므로, 위 방정식의 해도 이와 같다.
일차 방정식(一次方程式)은 최고차항의 차수가 1인 방정식을 뜻한다. 선형방정식으로도 불린다.
일차방정식의 풀이
일차방정식은 등식의 성질을 이용하여 풀 수 있다.
이차 방정식이란, 최고차항의 차수가 2인 다항 방정식을 뜻한다. 일반적인 모양은
와 같고, 여기에서 formula_23와formula_24는 각각 formula_25의 계수라고 한다. formula_26는 상수항이라고 부른다.
복소수 범위에서 이차방정식은 두 복소수 해를 갖는다. 이 두 해는 서로 같을 수 있고, 이런 경우는 중근이라고 한다.
이차방정식의 풀이
이차 방정식은 인수 분해, 완전제곱식, 근의 공식을 이용하여 풀 수 있다.
분모에 미지수를 포함하는 분수식으로 이루어진 방정식을 분수방정식이라 한다. 방정식에서 모든 항을 좌변으로 이항하여
과 같은 꼴로 정리하였을 때,
등과 같이 formula_29 가 분모에 미지수를 포함하는 분수식으로 이루어지는 방정식이다. 분수방정식을 풀 때에는 각 항의 분모의 최소공배수를 양변에 곱하여 다항방정식으로 고쳐서 푼다. 여기서 나온 해 중에서 분모를 formula_30으로 만드는 근을 무연근이라고 하며, 무연근은 해집합에서 제외한다.
방정식의 항에 무리수(루트)를 포함하는 다항식으로 이루어진 방정식을 무리 방정식이라 한다.
인수분해하면,
그러나, 무리방정식은 해에 대해서 무연근 검사로 마무리검산을 해야하므로,
위의 두 근인 formula_42을
원래의 식인 formula_31에 대입해보면,
우선 양변으로 놓으면, formula_45
이어서, formula_46일때,formula_47
따라서, formula_31 방정식의 근은 formula_46이 되겠다.
삼차방정식과 사차방정식 그리고 그 이상을 고차방정식이라고 한다.
인수 분해를 해서 해를 구한다.
오차 이상의 일반적 방정식은 대수적 해법이 존재하지 않는다. 이는 아벨이 증명하였다.
A가 B보다 크다고 하면 A>B, A가 B보다 작다고 하면 A삼각함수 항등식
formula_57
formula_58
연립 방정식은 서로 다른 2개의 미지수가 주어진 방정식들에 모두 적합할 때 이 방정식의 쌍을 의미한다. 연립 방정식도 미지수의 차수에 따라 일차 연립 방정식, 이차 연립 방정식 등으로 나뉜다. 일차 연립 방정식에선 y=ax+b와 같이 한 미지수를 어떠한 값으로 나타내어 이 값을 그 미지수에 대입하는 방법인 대입법과 미지수의 계수를 같게 곱하여 둘을 더하거나 빼서 그 미지수를 없애는 가감법, 그리고 행렬을 이용한 가우스 소거법이 주로 사용된다.
방정식은 2x+3=0과 같이 x(미지수)의 값에 따라 등식이 참이 되기도 하고 거짓이 되기도 한다. 방정식은 중국의 구장산술이라는 산학서에서부터 유래되었다고 한다. 이 방정식에도 원 방정식, 직선의 방정식, 미분 방정식 등 여러가지가 있고, 또, 미지수의 차수에 따라 일차 방정식, 이차 방정식, 삼차 방정식, 고차 방정식... 등으로 나뉜다. 특히 이차 방정식에는 미지수의 값을 구하는 근의 공식이라는 식이 있다. 이차방정식 ax^2+bx+c=0(a≠0) 의 근의 공식은 -b±√b^2-4ac/2a 이고, ax^2+2b'x+c=0(a≠0) 의 근의 공식은 -b'±√b'^2-ac/a 이다. 삼차 방정식과 사차 방정식은 특수한 경우에 성립하는 근의 공식이 있다. 오차 방정식부턴 근의 공식이 존재하지 않는다. (아벨이 증명)
삼각함수 항등식
수학에서, 삼각함수 항등식(三角函數恒等式, )은 삼각함수가 나오는 항등식을 말한다. 이 공식들은 삼각함수가 나오는 복잡한 식을 간단히 정리하는 데 유용하며, 특히 치환적분에서 매우 자주 쓰이기 때문에 중요하다.
참고로 아래에서 formula_1, formula_2 등의 함수는 formula_3와 같이 정의된다.
다음 관계는 단위원을 사용하면 쉽게 보일 수 있다.
다음 식은 삼각함수의 주기성을 나타낸다.
다음 식은 삼각함수의 대칭성을 나타낸다.
다음은 삼각함수의 이동 성질을 나타낸다.
또한, 주기가 같지만, 상(phase)이 다른 사인파들의 선형결합은 또 다른 상의 동일주기의 사인파가 된다. 즉, 다음과 같다.
여기서
다음 식들은 삼각함수의 정의와 피타고라스 정리를 이용하면 쉽게 보일 수 있다.
다음의 삼각함수의 덧셈정리를 증명하는 가장 쉬운 방법은 오일러의 공식을 이용하는 것이다. 탄젠트 공식은 위의 둘을 결합하여 얻는다.
여기서
다음 공식은 바로 위 덧셈 공식에서 formula_22로 놓으면 바로 얻어진다. 피타고라스의 식을 쓰면 변형을 얻는다. 또한 드무아브르의 공식에서 formula_23로 놓아도 된다.
아래 공식들은 덧셈정리에서 한 각을 2x, 다른 한 각을 x로 놓고 전개하면 얻을 수 있다.
아래 공식들은 배각의 공식에서 x를 2x로 두고 전개하여 풀면 얻을 수 있다.
formula_40이 formula_41번째 체비쇼프 다항식일 때,
드무아브르의 공식:
디리클레 핵formula_44 은 다음의 항등식의 양변에서 도출되는 함수이다. :
디리클레 핵을 갖는 2n차의 어떤 제곱적분 가능함수의 합성곱(convolution)은 함수의 n차 푸리에 근사와 함께 동시에 일어난다.
n차 제곱한 삼각함수를 일차식의 삼각함수 식으로 바꾼다.
두배각 공식의 코사인 공식을 formula_46 과 formula_47으로 푼다.
차수 줄이기 이차식 공식에서 formula_58에 formula_59을 대입하고, formula_60 과 formula_61으로 푼다.
또한, formula_65는 formula_66과 같고, 여기에 분자 분모에 같은 formula_67을 곱한다. 그러면, 분자는 사인의 두배각 공식에 의해 formula_68이 되고, 분모는 formula_69 이므로 코사인 두배각 공식을 쓰면 formula_70 이 된다. 두 번째 식은 분자와 분모에 다시 formula_68를 곱하고, 피타고라스 공식으로 간단히 하면 얻어진다.
우변을 덧셈정리로 전개하면 증명된다.
위 식의 formula_58를 formula_78로, formula_79를 formula_80 로 바꾼다.
그리고 또 다른 식들로 다음과 같이 있다.
다음 식들은 아마 변수가 있는 일반화된 식을 찾기가 위 보다 어려울 것이다.
21을 택해서 각을 나누면, 도로 표현한 각이 더이상 깔끔하지 않다. 다음 식을 보자.
1, 2, 4, 5, 8, 10 이란 인자를 보면 차츰 답이 드러난다. 이 수들은 모두 보다 작고, 21과의 공약수가 1인 수 들이다. 사실 위 세 가지 예는 더 인수분해되지 않는 원분다항식(cyclotomic polynomial)에 대한 기본정리의 따름정리이다. 코사인값은 다항식의 영(zero)들의 실수부이고, 그들의 합은 21(가장 마지막 예)의 뫼비우스 함수값이다. (식에선 값의 반만이 나타난다.)
미적분학의 삼각함수에선 각을 라디안(radian)으로 써야 한다. 그렇지 않으면, 다음 관계식들은 성립하지 않는다. 우선 삼각함수가 기하학적으로 정의된 후에 함수들의 미분을 구하기 위해선 우선:
과
을 증명한다. 그리고, 미분의 극한 정의와 덧셈정리를 이용한다. 삼각함수가 테일러 급수로 정의되었다면, 각 항을 미분하여 알아낼 수 있다.
(참고 formula_92
나머지 삼각함수의 미분은 위 항등식과 미분법칙으로 얻어진다.
적분식은 적분표를 참고하라.
곱셈적 함수
곱셈적 함수(Multiplicative function), 또는 곱산술함수는 어떤 수론적 함수(arithmetic function) formula_1가 다음과 같은 두 조건을 만족할 때를 가리킨다.
만약 모든 정수 formula_5와 formula_6에 대해 항상 formula_7를 만족한다면, 이 함수는 완전 곱셈적(completely multiplicative)이라고 한다.
수론에 나오는 중요한 함수들 중에 곱셈적인 함수를 찾아보면, 다음과 같은 예가 있다.
특히, 완전 곱셈적인 함수에는 다음과 같은 예가 있다.
곱셈적 함수가 아닌 함수의 예로는 "r"("n")가 있다. "r"("n")는 "n"을 두 정수의 제곱의 합으로 나타내는 방법의 가지수이며, 이때 덧셈의 순서도 구분한다. 즉,
이다. 따라서 "r"(1) = 4 ≠ 1 이 된다. 이로써 이 함수가 곱셈적이 아님을 보일 수 있다. 그러나, "r"("n")/4는 곱셈적이다.
곱셈적 함수는 산술의 기본 정리에 따라 소수의 거듭제곱에서의 함수값들 만으로 모든 값이 완전히 결정된다. 그래서 "n"을 서로 다른 소수들의 곱으로 나타낼 때, 즉, "n" = "p" "q" ..., 이면, 
"f"("n") = "f"("p") "f"("q") ... 이다.
이 곱셈적 함수의 성질을 이용하면 함수값의 계산이 훨씬 용이해진다. 예를 들어 "n" = 144 = 2 · 3의 약수함수(Divisor function)값을 계산해 보면,
이 된다. 또한,
이다.
일반적으로 "f"("n")이 곱셈적이고, "a", "b"가 두 자연수이면 다음이 성립한다.
이 역시 산술의 기본 정리에 의해 쉽게 증명된다.
"f"와 "g"가 곱셈적 함수일 때, 이 둘의 디리클레 합성곱 "f" * "g"를 다음과 같이 정의한다.
여기서 합은 "n"의 모든 양의 인자 d에 대해 이루어지고, 이 연산(operation)으로 모든 곱셈적 함수들의 집합은 가환군(abelian group)을 이루며, 단위원은 ε이다.
위에 언급된 곱셈적 함수들간의 관계는 몇 개 써보면 다음과 같다.디리클레 포갬은 또한 일반적인 수론적 함수(arithmetic function)에 대해 정의될 수 있고, 이 때는 환 구조(ring structure)를 만든다.
체비쇼프 다항식
수학에서, 체비쇼프 다항식(Чебышёв多項式, )은 삼각 함수의 항등식에 등장하는 직교 다항식열이다.
실수 formula_1차 다항식 formula_4에 대하여, 다음 네 조건이 서로 동치이며, 이를 만족시키는 formula_5을 formula_1차 체비쇼프 다항식이라고 한다.
드무아브르의 공식의 실수부를 비교하면 formula_17가 formula_18의 formula_1차 다항식으로 표현된다는 것을 알 수 있다. 좌변의 실수부는 formula_17, 우변의 실수부는, formula_18와 formula_22의 다항식이다.
체비쇼프 다항식들은 다음의 무게 함수에 대해, 구간 formula_14에서 직교한다.
즉, 다음이 성립한다.
짝수 차수의 체비쇼프 다항식은 짝함수이며, 홀수 차수의 체비쇼프 다항식은 홀함수이다.
formula_1차 체비쇼프 다항식 formula_5은 닫힌구간 formula_14 속에서 formula_1개의 서로 다른 근을 가지며, 이들은 다음과 같다.
체비쇼프 다항식을 복소수 함수
로 여길 때, formula_33의 경우 다음이 성립한다.
예를 들어,
의 경우, 이는 분지 지표 2의 두 분지점 formula_39를 가지며, 그 값은 formula_40 및 formula_41이다. 마찬가지로,
의 경우, 분지 지표 2의 두 분지점 formula_43 및 분지 지표 3의 분지점 formula_44를 가지며, 그 값은 각각 formula_45 및 formula_46이다.
이에 따라, formula_32는 벨리 사상을 이루며, 이에 대응하는 데생당팡은 formula_15개의 꼭짓점을 갖는 선형 그래프이다.
낮은 차수의 체비쇼프 다항식들은 다음과 같다.
파프누티 체비쇼프가 1854년에 도입하였다.
체비쇼프 다항식의 통상적인 기호 T는 체비쇼프의 이름의 프랑스어 표기 () 또는 독일어 표기 ()에서 딴 것이다.
파이의 날
파이의 날(Pi Day) 일명 황금비의 날은 원주율을 기념하기 위한 기념일이다. 파이의 날은 원주율의 근삿값 3.14을 기준으로 하여 3월 14일에 치러진다. 보통 3.14159에 맞추기 위해 오후 1시 59분에 기념하는데, 오후 1시 59분은 엄밀히 말하면 13시 59분이기 때문에 오전 1시 59분 혹은 15시 9분(오후 3시 9분)에 치러야 한다고 주장하는 사람도 있다. 세계 각국의 수학과에서 기념행사를 연다.
3월 14일은 알베르트 아인슈타인의 생일이기도 하다.
또한 스티븐 호킹의 기일이다.
이 날은 여러 방법으로 기념된다. 사람들이 모여서 원주율이 그들의 생활에서 어떤 역할을 했는지 이야기하고 원주율이 없는 세상을 상상해 본다. 모임에서는 보통 파이를 먹는다. 또한 많은 행사에서 원주율 외우기 대회가 열린다.
분수 7분의 22가 π의 근사값이므로 파이 근삿값 날은 7월 22일이다.
사인 법칙
기하학에서, 사인 법칙(-法則, )은 삼각형의 변의 길이와 각의 사인 사이의 관계를 나타내는 정리이다. 이에 따라 삼각형의 두 각의 크기와 한 변의 길이를 알 때 남은 두 변의 길이를 구할 수 있다.
삼각형 formula_1의 각 formula_2을 마주보는 변을 formula_3라고 하자. 사인 법칙에 따르면 다음이 성립한다.
여기서 formula_5은 삼각형 formula_1의 외접원의 반지름이다.
삼각형 formula_1의 변 formula_8 위의 높이를 formula_9라고 하자. 삼각법에 따라 formula_10이므로, 삼각형 formula_1의 넓이 formula_12는 다음과 같다.
자모를 치환하면 다음과 같은 등식을 얻는다.
양변에 formula_15를 나누면 사인 법칙을 얻는다.
삼각형 formula_1의 외접원을 그리자. formula_18를 지나는 지름을 formula_19라고 하자. 따라서 formula_20는 직각 삼각형이며, 빗변은 formula_21이다. 삼각법에 따라 다음이 성립한다.
만약 formula_23가 예각일 경우, formula_23와 formula_25는 같은 호의 원주각이므로 formula_26이다. 따라서 다음이 성립한다.
만약 formula_23가 직각일 경우, formula_29와 formula_25는 같은 점이므로, formula_31이며 formula_32이다. 따라서 역시 위와 같은 식이 성립한다. 만약 formula_23가 둔각일 경우, formula_23와 formula_25는 내접 사각형의 두 마주보는 각이므로, formula_36이다. 따라서 역시 위와 같은 식이 성립한다. 남은 두 각 formula_37에 대한 식 역시 마찬가지로 증명할 수 있다.
세 각의 사인 값이 모두 양수이므로 사인 법칙의 제곱을 증명하는 것으로 족하다. 코사인 법칙에 따라 다음이 성립한다.
결과가 formula_3에 대하여 대칭적이므로 사인 법칙이 성립한다.
단위 구면 위의 구면 삼각형 formula_1의 각 formula_2가 마주보는 변을 formula_3라고 하자. 구면 사인 법칙(球面-法則, )에 따르면 다음이 성립한다.
구의 중심을 formula_44라고 하자. formula_45에서 아무 점 formula_46를 취하자. formula_46를 지나는 평면 formula_48의 수선을 formula_49라고 하자. formula_25를 지나는 직선 formula_51의 수선을 각각 formula_52라고 하자. 삼수선 정리에 따라 formula_53는 각각 formula_51와 수직이다. 삼각법에 따라 다음이 성립한다.
두 식에서 formula_57를 소거하면 다음을 얻는다.
남은 한 등식 역시 같은 방법으로 증명하면 구면 사인 법칙을 얻는다.
구의 중심과 세 꼭짓점 formula_2를 잇는 벡터를 각각 formula_60라고 하자. 삼중곱의 정의에 따라 다음이 성립한다.
따라서 다음이 성립한다.
여기에 다음을 대입하면 구면 사인 법칙을 얻는다.
제1 구면 코사인 법칙을 사용하여 구면 사인 법칙을 다음과 같이 증명할 수 있다.
가우스 곡률이 -1인 쌍곡면 위의 쌍곡 삼각형 formula_1의 각 formula_2가 마주보는 변을 formula_3라고 하자. 쌍곡 사인 법칙(雙曲-法則, )에 따르면 다음이 성립한다.
여기서 formula_73는 쌍곡 사인이다.
제1 쌍곡 코사인 법칙을 사용하여 쌍곡 사인 법칙을 다음과 같이 증명할 수 있다.
벡터 공간
벡터 공간(vector空間, , )은 선형대수학에서 원소를 서로 더하거나 주어진 배수로 늘이거나 줄일 수 있는 공간이다. 체에 대한, 가군의 특수한 경우다. 벡터 공간의 원소를 벡터(, )라고 하며, 이는 직관적으로 방향 및 길이의 비가 정의된 대상을 나타낸다. 그러나 노름이 주어지지 않은 일반적인 벡터 공간에서는 벡터의 길이 자체는 정의되지 않는다.
체 formula_1에 대한 벡터 공간 formula_2은 formula_1에 대한 가군이다. 즉, 다음과 같은 튜플이다.
이 데이터는 다음과 같은 공리들을 만족시켜야 한다.
실수체 formula_30에 대한 벡터 공간을 실수 벡터 공간(實數vector空間, )이라고 하며, 복소수체 formula_31에 대한 벡터 공간을 복소수 벡터 공간(複素數vector空間, )이라고 한다.
체 formula_1 위의 벡터 공간 formula_4의 부분 집합 formula_34가 다음 조건을 만족시키면, formula_35가 formula_4의 부분 벡터 공간(部分vector空間, )이라고 한다.
즉, 부분 벡터 공간은 formula_4의 연산들을 제한시켜 새로운 더 작은 벡터 공간을 이룰 수 있는 부분 집합이다.
벡터 공간 formula_4의 부분 집합 formula_45에 대하여, formula_45의 생성() formula_47는 formula_45를 포함하는 모든 부분 공간들의 교집합이다. 만약 formula_45에서, formula_50인 원소 formula_51가 존재하지 않는다면, formula_45가 선형 독립 집합이라고 한다. 생성이 벡터 공간 전체인 선형 독립 집합을 기저라고 한다.
선택 공리를 가정하면, 모든 벡터 공간은 하나 이상의 기저를 가지며, 모든 기저들은 항상 같은 크기를 갖는다. 벡터 공간 formula_4의 기저의 크기를 벡터 공간의 차원(次元, ) formula_54이라고 한다.
두 벡터 공간 사이의 선형 변환은 벡터 덧셈과 스칼라 곱셈을 보존하는 사상이다. 만약 두 벡터 공간 사이에 가역 선형 변환이 존재한다면, 그 두 벡터 공간이 서로 동형이라고 한다. 주어진 두 벡터 공간 사이의 선형 변환의 집합은 점별 벡터 덧셈과 점별 스칼라 곱셈에 의하여 벡터 공간을 이룬다. 두 유한 차원 벡터 공간 사이의 선형 변환은 주어진 기저에 대한 행렬로 나타낼 수 있다.
선택 공리를 가정하자. 체 formula_1에 대한 벡터 공간 formula_4에 대하여 다음이 성립한다.
즉, 주어진 체에 대한 벡터 공간은 그 차원에 따라서 완전히 분류된다. 이는 선택 공리를 필요로 하며, 선택 공리가 없으면 모든 벡터 공간이 차원을 갖는다는 것을 보일 수 없다. 여기서 formula_58는 formula_1의 formula_60개의 직합이며, formula_61인 경우 이는 곱집합과 다르다.
같은 체 formula_1 위의 벡터 공간들이 주어졌을 때, 다음과 같은 연산들을 정의할 수 있다.
체 formula_1 위의 벡터 공간 formula_4와 그 임의의 부분 공간 formula_35가 주어졌을 때, 몫 벡터 공간(몫vector空間, ) formula_66을 정의할 수 있다. 우선 formula_4 위에 다음과 같은 동치 관계를 정의할 수 있다.
이 동치 관계에 대한 동치류는 다음과 같다.
몫 벡터 공간 formula_66는 집합으로서 이 동치 관계에 대한 몫집합(=동치류들의 집합)이다.
그 위의 벡터 공간 연산은 다음과 같다.
이 정의는 동치류의 대표원을 선택하는 방식과 무관하다. 또한, 이들 연산은 집합으로서의 연산과 일치하지 않는다.
formula_1 위의 벡터 공간들의 집합 formula_75이 주어졌을 때, 이들의 직접곱
은 집합으로서 formula_77들의 곱집합이다. 이 위에는 자연스러운 formula_1-벡터 공간의 구조가 존재한다. 즉,
이는 벡터 공간의 범주에서의 곱이며, 대수 구조로서의 직접곱이다. 즉, 자연스러운 사영 사상
이 존재하며, 이는 선형 변환을 이룬다.
formula_1 위의 벡터 공간들의 집합 formula_75이 주어졌을 때, 이들의 직합은 다음과 같다.
즉, 직접곱에서, 오직 유한 개의 성분만 0이 아닌 원소들로 구성된 부분 집합이다. 이는 벡터 공간의 범주에서의 쌍대곱이며, 가군의 직합의 특수한 경우이다. 즉, 자연스러운 포함 사상
가 존재하며, 따라서 각 formula_77는 formula_87의 부분 공간을 이룬다.
유한 직합은 직접곱과 같으나, 무한 직합은 일반적으로 직접곱의 부분 공간이다. 만약 formula_88가 formula_77의 기저라면,
는 formula_87의 기저를 이룬다. 따라서,
이다. 여기서 우변은 기수의 합이다.
formula_1 위의 벡터 공간들의 집합 formula_75이 주어졌을 때, 이들의 텐서곱
이 존재한다. 이는 자연스러운 다중 선형 사상
을 가지며, 또한 임의의 다른 다중 선형 사상
이 주어졌을 때, 유일한 선형 사상
가 존재한다. 텐서곱은 이 보편 성질로부터 유일하게 정의되며, 또 항상 존재한다. 그러나 무한 개의 벡터 공간들의 텐서곱은 직접 정의하기 힘들다.
임의의 두 벡터 공간 formula_4, formula_35에 대하여, 다음이 성립한다.
여기서 formula_103은 기수의 곱셈이다.
체 formula_1 위의 벡터 공간 formula_1는 다음 성질들을 만족시킨다.
즉, 체 위에서는 모든 가군이 자유 가군이 된다.
체 formula_1 위의 벡터 공간 formula_4의 집합의 크기는 다음과 같다.
벡터 공간에 성질을 추가하여 만든 구조로는 거리의 개념을 준 노름 공간 · 바나흐 공간, 각의 개념을 준 내적 공간 · 힐베르트 공간, 위상적 성질을 가진 위상 벡터 공간 · 국소 볼록 공간 · 프레셰 공간, 벡터 곱을 준 체 위의 대수 등이 있다.
벡터 공간은 임의의 환 위의 가군의 개념의 특수한 경우이다. 그러나 일반적인 환 위의 일반적인 가군은 벡터 공간과 매우 다른 성질을 보인다. 벡터 공간과 비슷한 성질을 보이는 가군을 자유 가군이라고 한다.
벡터는 직선,평면,입체적인 표현이 각도로서 좌표평면상에서 확장되더라도 양과 방향성을 동시에 갖는 벡터의 고유 성질에의해서 자연스럽다.
좌표상에서 정사각형을 예약해보면,
직선,
평면,
입체큐브,
펜로즈 삼각형
펜로즈 삼각형( 또는 )는 불가능한 물체의 일종이다. 1934년 스웨덴의 화가 오스카르 레우테르스베르드가 처음 쓰기 시작했고, 1950년대에 영국의 수학자 로저 펜로즈가 그와는 독자적으로 고안하여, 널리 알렸다. 그 뒤 펜로즈 삼각형은 마우리츠 코르넬리스 에셔의 판화에서 쓰이기 시작하여, 그의 작품 속에 등장하는 불가능한 물체에 영향을 주었다.
이 삼각형은 단면이 사각형인 입체인 것처럼 보이지만, 2차원 그림으로만 가능하다. 왜냐하면, 삼각형의 각 변을 이루는 평행한 면들은 각 꼭짓점에 이르면, 서로 다른 위치에서 본 직각의 모서리이기 때문이다. 각 변을 이루는 막대는 모두 서로 직각을 이루며, 그럼에도 불구하고 삼각형을 만든다.
이 방법을 일반화 시켜서 펜로즈 다각형으로 확대할 수 있다. 하지만 펜로즈 사각형은 그 시각적 효과가 삼각형만큼 충격적이진 않다.
펜로즈 삼각형처럼 보이는 입체를 만들 수는 있다. 하지만 이 때에 각 변은 꼬이거나, 끊어져야 한다.
수론적 함수
정수론에서 수론적 함수(數論的函數, )는 모든 양의 정수에 대해 정의된 함수이며 복소수 함수값을 가질 수도 있다. 다시 말하면 수론적 함수는 복소수의 수열에 지나지 않는다.
중요한 수론적 함수로 덧셈적 함수와 곱셈적 함수가 있으며, 수론적 함수 사이의 연산으로는 디리클레 합성곱이 중요하다.
곱셈적 함수와 덧셈적 함수에 몇몇 수론적 함수의 예가 수록되어 있다. 아래 예들은 곱셈적이지도, 덧셈적이지도 않은 함수들이다.
물리 상수
물리 상수(物理常數, )는 물리학에 나오는 값이 변하지 않는 물리량을 말한다. 물리 상수는 실제적인 물리적 측정과는 관계없이 고정된 값을 갖는 수학 상수와 대비되어, 대부분이 그 값이 실험을 통한 측정을 통해 얻어진다.
물리 상수들 중에 특히 유명한 것으로는 플랑크 상수, 중력 상수, 아보가드로 수 등이 있다.
물리 상수는 여러가지 양을 의미한다. 플랑크 길이는 자연의 기본적인 거리, 광속은 가능한 최고 속력, 미세 구조 상수는 차원이 없는 양으로 전자와 광자 사이의 상호작용의 정도를 각각 의미한다.
유효자리는 굵게 표시했다.
Peter 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.
대수학의 기본 정리
대수학의 기본 정리(代數學의 基本 定理 ; fundamental theorem of algebra)란 상수가 아닌 복소계수 다항식은 적어도 하나의 영점을 갖는다는 정리이다.
즉, 복소계수 다항식
에 대해 formula_2 인 복소수 formula_3 가 적어도 하나는 존재한다는 것이다.
이 정리는 복소수체가 실수체와는 달리 대수적으로 닫힌 체임을 뜻한다.
수학자들은 17세기에 이미 이 정리가 옳으리라 생각하였으나 증명에는 성공하지 못하였다. 복소수의 개념이 없던 당시에는 “모든 실계수 다항식은 실계수 일차식들과 실계수 이차식들의 곱으로 나타낼 수 있다”라는 예상이었다. 장 르 롱 달랑베르와 레온하르트 오일러 등이 증명을 시도하였으나 모두 불완전하였고, 최초로 엄밀한 증명에 성공한 수학자는 19세기 초의 카를 프리드리히 가우스였다. 그 이후 이 정리는 복소수 계수 다항식으로 확장되었다. 가우스는 생애 동안 몇 가지의 다른 증명을 발표했다. 현재까지 순수하게 대수적인 증명은 아무도 발견하지 못했으며, 약간의 해석학 또는 위상수학을 도입해야 증명할 수 있다.
다음은 복소해석학을 이용한 증명이다.
복소 다항식
가 영점을 갖지 않는다고 가정하자. 즉 모든 복소수 formula_5 에 대해 formula_6 라고 가정하자. 그러면 formula_7 는 전해석함수이다. 이제 삼각 부등식을 이용하여
를 얻고, formula_9라 하면, 양수 formula_10에 대해 formula_11이면
이 성립하므로 식 (a)로부터
을 얻는다. 즉, formula_7 는 유계인 전해석함수이다. 따라서 리우빌의 정리에 의해 formula_15는 상수함수이다. 그러나 가정에서 formula_16는 상수가 아니라고 하였으므로 formula_15 도 상수함수가 될 수 없다.(모순) 그러므로 formula_16 는 적어도 하나의 영점을 갖는다.
대수학의 기본 정리로부터 다음의 유용한 따름정리를 얻을 수 있다. 이 따름정리를 대수학의 기본정리로 부르는 경우도 있다.
모든 formula_19차 복소 다항식은 중근까지 고려하여 formula_19개의 근을 갖는다.
따름정리는 다음과 같이 기술할 수 있다. 복소 다항식
에 대해 (서로 다를 필요는 없는) 복소수 formula_22이 존재하여
와 같이 쓸 수 있다.
대수학의 기본 정리에 의해 formula_24인 점 formula_25이 존재하므로
와 같이 쓸 수 있다. 그런데 formula_27은 formula_28차의 다항식이므로, 다항식의 차수에 대한 귀납법을 사용하면(대수학의 기본 정리 이용) 증명이 끝난다.
실계수 formula_19차 다항식의 경우, 위의 따름정리를 적용하면 이 역시 복소수체 위에서 중근을 고려할 경우 formula_19개의 근을 갖는다. 이 표현 형식은 곱하는 순서를 고려하지 않을 경우 유일하므로, 만약 허수부가 0이 아닌 근을 갖는다면 실수체 위에서는 그 근을 표현할 수 없다. 즉 실수체 위에서는 반드시 formula_19개의 근을 갖지 않을 수도 있다.
실수체 위에서 실계수 다항식을 기약다항식들로 인수분해할 때, 기약다항식이 갖는 최대의 차수는 formula_32 이다. 이는 실계수 다항식의 근이 갖는 켤레성, 즉 formula_33가 실계수 다항식의 근이면 이의 복소켤레 formula_34도 그 다항식의 근이 되는 성질 때문이다. 두 개의 복소계수 일차식의 곱은
와 같이 (formula_36는 실수) 실계수 이차식으로 환원된다.
만일formula_37가 실계수 다항식
의 복소수 근이면 즉, formula_39이면 formula_40이다.
복소켤레 연산의 성질에 의해
이다.
대수학의 기본정리에 의해 formula_19 차의 실계수 다항식은 반드시 복소수의 범위에서 formula_19개의 근을 가져야 한다. 그런데 실계수 다항식의 근의 켤레성에 의해 (실수가 아닌)복소수 근을 갖지 않거나, 갖는다면 짝수개이어야 하므로 차수가 홀수인 다항식은 적어도 하나의 실근을 가져야함을 알 수 있다.
정규 분포
\; \exp\left(-\frac{\left(x-\mu\right)^2}{2\sigma^2} \right) \!
확률론과 통계학에서, 정규 분포(正規 分布, ) 또는 가우시안 분포(Gauß 分布, )는 연속 확률 분포의 하나이다. 정규분포는 수집된 자료의 분포를 근사하는 데에 자주 사용되며, 이것은 중심극한정리에 의하여 독립적인 확률변수들의 평균은 정규분포에 가까워지는 성질이 있기 때문이다.
정규분포는 2개의 매개 변수 평균 formula_2과 표준편차 formula_10에 대해 모양이 결정되고, 이때의 분포를 formula_11로 표기한다. 특히, 평균이 0이고 표준편차가 1인 정규분포 formula_12을 표준 정규 분포(standard normal distribution)라고 한다.
정규분포는 아브라암 드무아브르가 1733년 쓴 글에서 특정 이항 분포의 formula_13이 클 때 그 분포의 근사치를 계산하는 것과 관련하여 처음 소개되었고 이 글은 그의 저서 《우연의 교의》 2판(1738년)에 다시 실렸다. 피에르시몽 라플라스는 그의 저서 《확률론의 해석이론》(1812년)에서 이 결과를 확장하였고 이는 오늘날 드무아브르-라플라스의 정리로 알려져있다.
라플라스는 실험 오차를 분석하면서 정규분포를 사용했다. 1805년에는 아드리앵마리 르장드르가 매우 중요한 방법인 최소제곱법을 도입했다. 카를 프리드리히 가우스는 이 방법을 1794년부터 사용해왔다고 주장했는데 1809년에는 실험 오차가 정규분포를 따른다는 가정하에 최소제곱법을 이론적으로 엄밀히 정당화했다.
위에서 첫 번째 적분은 홀함수의 적분으로 0이고 두 번째 적분은 가우스 적분으로 적분값이 formula_16로 잘 알려져 있다. 따라서 기댓값은 formula_2다.정규 분포 밀도 함수에서 formula_18를 통해 X를 Z로 정규화함으로써 평균이 0, 표준편차가 1인 표준정규분포를 얻을 수 있다.
z-분포라고도 부른다. z-분포로 하는 검정(test)을 z-검정(z-test)이라고 한다.
formula_19에서 k값이 변화함에 따라 구해지는 formula_20값을 불확실성(uncertainty)이라고 한다. 예를 들어 formula_21를 90% 불확실성, formula_22는 95% 불확실성, formula_23은 99% 불확실성이다. 특히, formula_24를 50% 불확실성이라고 하며, 확률오차(probable error)라고도 한다. 이는 관측값이 전체 관측값의 50%에 있을 확률을 의미한다.
뫼비우스 반전 공식
수론에서의 뫼비우스 반전 공식(Möbius inversion formula)은 19세기 수학자 아우구스트 페르디난트 뫼비우스의 이름을 딴 공식이다.
"g"("n") 과 "f"("n")이 수론적 함수(arithmetic function)이며 1보다 큰 모든 formula_1에 대해 다음이 성립한다고 하자. 
이 때, 1보다 큰 모든 formula_1에 대해 다음이 성립한다.
여기서 formula_5는 뫼비우스 함수(Möbius function)이고, 덧셈은 "n"의 양의 약수 "d" 전체에 대해 이루어진다.
수론적 함수 formula_6는 formula_7의 누적으로 이루어지는데, 역으로 formula_6를 통해 formula_7를 꺼내는 공식이므로 반전 공식이라 불린다.
"f"와 "g"가 자연수에서 어떤 아벨 군으로의 함수일 때에도 공식은 성립한다.
디리클레 합성곱(Dirichlet convolution)을 사용하여 공식을 써 보면 다음과 같다.
여기서 * 는 디리클레 합성곱이고, 1은 모든 formula_1에 대해 항상 1인 수론적 함수이다. 이 경우,
가 성립한다. 즉, 뫼비우스 함수는 모든 함수값이 1인 수론적 함수의 역원이기 때문이다. 당연하게도
이 성립한다. 여기서 formula_14은 formula_15일 때만 1이고 나머지는 모두 0인 수론적 함수이다.
다양한 수론적 함수의 계산의 예는 Apostol의 책을 참조하면 좋다.
조합론(combinatorics)에서 자주 쓰이는 동치의 진술은 다음과 같다.
"F"("x")와 "G"("x")가 구간 [1,∞)에서 복소수로의 함수이고, 1보다 크거나 같은 모든 formula_16에 대해
을 만족하면, 1보다 크거나 같은 모든 formula_16에 대해
이 성립한다.
여기서 합은 "x"보다 작거나 같은 모든 양의 정수 "n"에 대해서 이루어진다.
푸리에 급수
수학에서, 푸리에 급수(Fourier級數, )는 주기 함수를 삼각함수의 가중치로 분해한 급수다. 대부분의 경우, 급수의 계수는 본래 함수와 일대일로 대응한다.
함수의 푸리에 계수는 본래 함수보다 다루기 쉽기 때문에 유용하게 쓰인다. 푸리에 급수는 전자 공학, 진동 해석, 음향학, 광학, 신호처리와 화상처리, 데이터 압축 등에 쓰인다. 천문학에서는 분광기를 통해 별빛의 주파수를 분해하여 별을 이루는 화학 물질을 알아내는 데 쓰이고, 통신 공학에서는 전송해야 하는 데이터 신호의 스펙트럼을 이용하여 통신 시스템 설계를 최적화하는 데 쓰인다.
프랑스의 과학자이자 수학자인 조제프 푸리에가 열 방정식을 풀기 위하여 도입하였다.
푸리에 급수는 주기함수를 기본적인 조화함수인 삼각함수 또는 복소 지수 함수의 급수로 나타낸 것이다. 주기함수 formula_1가 formula_2의 주기를 가진다고 하자. 즉,
라고 하자. 또한, formula_4가 모든 유한 구간()에서 제곱적분 가능하다고 하자. 즉, 임의의 formula_5에 대하여,
가 유한한 값으로 존재한다고 하자. 그렇다면 formula_4의 푸리에 계수() formula_8을 다음과 같이 정의한다.
그렇다면 다음이 성립한다. 임의의 formula_10에 대하여, 다음 식이 성립하지 않는 formula_11의 집합은 르베그 측도 0을 가진다.
만약 formula_4가 연속미분가능 (formula_14) 함수라면 (즉, formula_4의 도함수가 존재하고 연속적인 경우) formula_4의 푸리에 급수는 모든 formula_11에서 formula_18로 수렴한다.
가수
가수(歌手)는 목소리를 이용해서 음악을 만드는 사람을 말한다. 고전음악이나 오페라에서 목소리는 악기와 동일한 용법으로 사용되었다. 따라서 각 음역별로 전문성이 계발되었다.
목소리는 음역별로 다음과 같이 분류된다.
감마 함수
수학에서, 감마 함수(Γ函數, )는 계승 함수의 해석적 연속이다.
감마 함수의 기호는 감마(Γ)라는 그리스 대문자를 사용한다.
양의 정수 n에 대하여 formula_1이 성립한다.
감마 함수는 다음과 같이 여러 가지로 정의할 수 있으며, 이들은 모두 동치임을 보일 수 있다.
감마 함수는 다음과 같은 적분으로 정의된다. 이 적분을 오일러 적분이라고 한다.
오일러 적분은 상반평면 formula_3 인 영역에서 절대수렴한다. 여기에 해석적 연속을 사용해 이 함수의 정의역을 위의 단순극을 제외한 전 복소평면으로 확장할 수 있다. 이 확장된 함수를 감마 함수라 부른다.
이 정의는 오일러의 이름을 따 오일러 극한 형태라고도 불리기도 한다.
여기서 formula_6 는 오일러-마스케로니 상수이다. 이 정의는 카를 바이어슈트라스의 이름을 따 바이어슈트라스 무한곱 형태라고도 불리기도 한다.
만약 감마함수를 자연수 formula_7에 대해
을 만족하는 함수로 정의하면 감마 함수는 유일하지 않다. 예를 들어
또한 위 성질을 만족함을 확인할 수 있다. 감마 함수는 이중 유일하게 formula_10가 양의 실수축상에서 볼록함수이다.
감마 함수는 정의역에서 정칙 함수이다. 즉, 다음이 성립한다.
감마 함수는 복소평면에서 유리형 함수이며, 양이 아닌 정수 formula_12에서 단순극을 가진다. 단순극 formula_13에서 유수의 값은 formula_14이다.
감마 함수는 영점을 갖지 않는다. 즉, 그 역수 formula_15는 전해석 함수이다.
감마 함수는 다음과 같은 함수 방정식을 만족시킨다.
두 번째 공식은 오일러 반사 공식()이라고 불린다.
특히, 이 정리의 특수한 경우로 다음과 같은 두 배 공식을 유도할 수 있다.
감마 함수의 미분은 다음과 같이 폴리감마 함수 formula_20로 주어진다.
특별히, 양수 m에서의 감마 함수의 미분은 아래와 같이 오일러-마스케로니 상수 γ를 사용해 나타낼 수 있다.
일반적으로, 감마 함수의 n차 미분은 다음과 같다.
감마 함수의 극, z가 음수인 경우에서의 유수의 값은 다음과 같다.
반정수에서 감마 함수는 다음과 같다. 음이 아닌 정수 "n"에 대하여,
이 공식들은 formula_27로부터 수학적 귀납법으로 유도할 수 있다.
몇몇 경우의 감마 함수의 값은 다음과 같다.
감마 함수는 확률 분포를 비롯한 여러 확률과 통계, 조합론, 그 외 여러 공학 분야들에서 유용하게 사용된다.
반지름이 formula_30인 formula_7차원 초구의 부피는 다음과 같이 주어진다.
감마 함수의 피적분 함수를 감마 함수의 적분값으로 나눈 함수를 실수의 양수축에서 적분을 하면 1이 된다. 따라서 이를 이용해 새로운 분포를 정의할 수 있다. 이 분포를 감마분포라 하고, 그 확률 밀도 함수 formula_33는 다음과 같다.
여기서 formula_35는 감마 함수의 매개 변수로 양수이다.
큐-감마 함수는 감마 함수가 큐-아날로그화 된것이다.
장국영
장국영(, , , 1956년 9월 12일 ~ 2003년 4월 1일)은 홍콩의 가수, 작곡가, 영화배우이다.
하카계 출신으로, 홍콩 출생이며 원적지는 중화인민공화국 광둥 성 메이저우 시이다. 중산층 집안의 10남매중 막내로 태어나, 영국 북부의 리즈 대학교에서 섬유직물관리학을 공부했으나 졸업하진 못했다. 홍콩으로 귀국후 우연히 나간 노래콘테스트에서 AMERICAN PIE를 불러 2위로 입상하여 데뷔하였다.
1970년대에 홍콩 RTV (現 ATV/亞洲電視)에 가입, 《악어루 (鰐魚淚)》,《완화세검록 (浣花洗劍錄)》,《 (情人箭)》등에 출연했지만 평가는 전무했다. 그러다가 《영웅본색》, 《패왕별희》 등으로 아시아 권을 비롯한 세계에 이름을 날렸다.
오우삼의 《영웅본색》에서 저우룬파(주윤발)과 함께 주연을 함으로써 이 영화의 인기와 함께 한국에도 이름을 알리기 시작했다.
1976년 홍콩 ATV의 Asian Music Contest에서 2등상을 수상. 가수 활동으로 슈퍼스타가 된 후 TV 브라운관으로 시작해서 영화와 가요계를 넘나들어 활동했다. 그러다 1990년 고별콘서트를 끝으로 가수 생활을 은퇴하고 캐나다에서 1년간 휴식 후 귀국하여 영화배우 활동에만 전념하였다. 그 후로 영화속 O.S.T.제작 등에 한하여 음악활동을 해오다 1995년 앨범 총애 (寵愛)를 발매함으로 다시 가수로 재개, 2000년까지 중화인민공화국, 일본, 싱가포르, 말레이시아 등 여러 아시아 지역에서 콘서트를 개최했다. 그러나 2000년에 가수 분야에서 다시 은퇴하고 2003년 사망할 때까지 영화배우 활동에만 전념하였다.
다음은 그의 앨범목록이다.
《타임》지와의 인터뷰에서 양성애자라고 커밍아웃했다. 22세 쯤에 여배우 모순균과 교제했었으며, 1981년 영화 "Agency 24"를 촬영하면서 만난 여배우 예시배(倪詩蓓)와도 2년 동안 교제한 바 있다
1997년 콘서트에서 남자 애인 탕허더와 함께 나타났으며, 탕허더는 장국영이 죽을 때까지 관계를 지속했다.
2003년 4월 1일 홍콩 만다린 오리엔탈 호텔 24층에서 투신 자살했다. 향년 48세다. 그해 4월 5일 추도식에 많은 팬들이 SARS의 위험에도 불구하고 세계 곳곳에서 홍콩으로 찾아와 화제가 되기도 했다. 장국영이 죽은 4월 1일은 만우절이기 때문에 많은 사람들이 언론사들의 만우절 거짓말 이벤트라고 의심하기도 하였다.
홍콩 경찰은 장국영이 24층에서 투신하여 자살하였다고 밝혔는데 여러가지 부분에서 논란이 있으며 가장 유력한 용의자로 장국영의 전 재산 460억을 상속받은 애인 당학덕(탕허더, 통혹딱)이 지목된다.
컴퓨터 과학
컴퓨터 과학()은 전산 이론, 하드웨어 및 소프트웨어에 중점을 둔 정보과학의 한 분야이다. 정보 자체보다는 정보의 수집ㆍ전달ㆍ축적ㆍ가공을 하는 도구로서의 기계를 연구 대상으로 삼는다. 전산 및 그 응용기술에 대한 과학적이고 실용적인 접근을 의미하며 전산 이론 및 시스템 설계를 다루는 전문가를 컴퓨터 과학자라 부른다.
컴퓨터 과학의 하위 분야는 컴퓨터 프로그램 실행의 실용적인 기술과 컴퓨터 시스템의 응용 그리고 순수하게 이론적인 분야로 나뉠 수 있다. 몇몇 계산 문제의 기본적인 속성을 공부하는 계산 복잡도 이론과 같은 것은 매우 추상적이고, 이것과 다른 컴퓨터 그래픽스은 현실 세계 응용에 중점을 둔다. 또 다른 하위 분야는 계산 실행에 중점을 둔다.
예를 들어, 프로그래밍 언어 이론은 계산 서술의 접근을 공부하고, 컴퓨터 프로그래밍 학문 그 자체는 프로그래밍 언어와 복잡한 시스템 사용의 다양한 측면을 조사하고, 인간-컴퓨터 상호작용은 컴퓨터와 계산을 유용하고 인간들에게 보편적으로 접근이 쉽게 만드는 데 중점을 둔다.
컴퓨터 과학의 역사는 현대의 디지털 컴퓨터의 역사만을 가리키는 것이 아니다. 주판과 같이 계산을 수행하는 기계는 오래전부터 있었다. 1623년에는 최초의 계산기계가 만들어졌고, 찰스 배비지는 19세기 초에 차분기관을 만들었다. 1900년대에 들어서 IBM사가 펀치카드 시스템(PCS)을 개발하여 회계에 관련된 일을 하도록 보급하였다. 하지만 이들 모두는 주어진 한 가지의 일만 수행할 수 있었다.
1920년 이전까지 '컴퓨터'(computer)는 계산(compute)을 담당하는 사무관을 일컫는 용어였다. 쿠르트 괴델, 알론조 처치, 앨런 튜링과 같은 컴퓨터 과학 초기의 학자들은 계산 가능성 문제(종이와 연필만을 가진 사무관이 철저하게 어떠한 지시에 따라 행동하여 계산할 수 있는 것들은 어떤 것들인가?)에 흥미를 느꼈다. 이러한 흥미는 계산이라고 하는, 지겨울 수도 있고 오류율이 높은 작업을 자동화하고자 하는 욕구로부터 비롯되었다. 그들은 이리하여 한 가지의 종류의 작업만 수행할 수 있었던 기존의 기계들과는 다른, 이론적으로 어떠한 계산도 가능한 기계를 만들고자 했다. 이러한 노력이 현대 컴퓨터 과학의 지평을 열었다.
1940년대에 들어서자 더욱 강력한 기능을 지닌 계산기들이 등장했고, 이때부터 '컴퓨터'는 사람이 아닌 이들 기계를 부르는 용어로 굳어졌다. 컴퓨터가 단순한 숫자 계산보다 더 다양한 기능을 할 수 있는 것들이 알려지면서 컴퓨터 과학이라는 분야가 더욱 넓어지기 시작했다. 1960년대부터 여러 대학에 컴퓨터 과학 학과와 전공 과정이 생기면서 컴퓨터 과학이 학문으로 인정받기 시작하였으며, 학문의 쓰임새에 따라 세분되었다.
컴퓨터 과학은 오늘날 많은 사람들이 사용하는 컴퓨터라는 기계에 대한 학문으로 한정되지 않는다. 유명한 컴퓨터 과학자 에츠허르 데이크스트라는 "컴퓨터 과학에서 컴퓨터란, 천문학에서 망원경 이상의 것이 아니다."라고 하였다. 일반적으로 컴퓨터 시스템을 디자인하고 보급하는 것은 컴퓨터 과학의 범주내에 포함되지 않는 것으로 알려져있다. 예를 들면 컴퓨터 하드웨어와 소프트웨어를 연구하는 분야는 컴퓨터 공학으로 불리고, 컴퓨터의 보급과 사용에 관한 연구는 정보 기술 또는 정보 시스템의 분야에 속한다. 하지만, 컴퓨터와 연관된 이러한 분야들은 컴퓨터 과학과의 상호작용을 통해 발전해왔다. 컴퓨터 과학 연구는 인공지능, 인지 과학, 물리학, 그리고 언어학과 같은 학문과 공생한다.
많은 과학 분야와 비슷하게 컴퓨터 과학도 수학과 가장 밀접한 관계를 가지고 있을뿐만 아니라, 수학에 기초를 둔 과학의 한 분야이다. 컴퓨터 과학의 기초에 큰 영향을 미친 수학이 조지 불의 불 대수이다. 불 대수는 이진법을 기반으로 한 대수학으로, 그 외에 체론과 환론 또한 중요한 영향을 미쳤다. 초기의 컴퓨터 과학은 쿠르트 괴델과 앨런 튜링 등의 수학자들이 큰 영향을 끼쳤고, 수리논리학, 범주론, 도메인 이론, 대수학과 같은 수학 분류들은 컴퓨터 과학과 함께 발전하고 있다.
스탠 켈리-부틀은 ""과학과 컴퓨터 과학의 관계는 유체동력학과 납공업의 관계와 같다""라고 말하였다. 이는 컴퓨터 과학이 과학의 특성을 충분히 갖지 않는다는 오해에 기인한다.
컴퓨터 과학과 소프트웨어 공학의 관계에 대해서는 논란이 많다. 컴퓨터 과학과 소프트웨어 공학의 용어 정의가 많은 사람들에게 다소 모호하게 보이기 때문이다. 소프트웨어 공학은 컴퓨터 과학의 한 분야에 불과하다고 말하는 사람들이 있는 반면, 소프트웨어 공학은 다른 분야에 대한 응용이나 자원을 운용하는 방법 등 실용적인 특징에서 컴퓨터 과학의 다른 분야와 잘 구분된다.
컴퓨터 과학은 그 이론의 적용법에 따라 여러 분야로 나뉜다. 일반적인 분류는 다음과 같다.
그리스 신들의 가계도
다음은 그리스 신화에 등장하는 신들의 가계도이다.
광자
광자(光子, photon)는 기본입자의 일종으로, 가시광선을 포함한 모든 전자기파를 구성하는 양자이자 전자기력의 매개입자이다. 기호는 그리스 문자 formula_1이다. 전자기력의 효과는 미시적, 거시적인 수준에서 쉽게 관찰할 수 있는데, 광자가 질량을 가지지 않기 때문에 장거리에서의 상호작용이 가능하다. 다른 기본입자들과 같이 광자는 양자역학과 입자-파동 이중성 이론을 통해 가장 잘 설명된다. 하나의 현상임에도 파동과 양자라는 두 가지 관측 가능한 모습을 가진 광자의 진짜 성질은 어떤 역학적 모델로도 설명할 수 없다. 이러한 빛의 이중성의 묘사, 전자기파에서의 에너지의 위상을 파악하는 것 또한 불가능하다. 전자기파의 양자의 위치는 공간적으로 국한되지 않기 때문이다.
광자 한 개의 에너지는 플랑크 상수(h)에 빛의 진동수(v)를 곱한 값, 즉 hv이고, 운동량은 hv/c(c는 광속)이다.
아이작 뉴턴은 빛이 입자로 이뤄져 있다고 주장하였다. 그러나 고전적인 입자론은 빛의 파동적인 성질, 특히 간섭을 설명하지 못한다. 따라서 18세기에 와서는 이중 슬릿 실험을 설명할 수 있는 토머스 영의 파동설이 우세하였고, 제임스 맥스웰의 고전전자기학의 완성으로 파동설은 정설로 인정되었다. 그러나 20세기 초에 와서 고전적인 파동설로 설명할 수 없는 현상이 발견되기 시작하였다. 자외선 파탄이 그중 한 예인데, 이에 따르면 열적 평형에 있고 유한한 온도를 가진 고전적 흑체는 무한한 양의 전자기파를 방출하여야 한다. 이 문제를 해결하기 위해, 막스 플랑크는 전자기파가 양자화 되었다는 가설을 도입하였다 (1901). 그러나 그는 실제로 빛이 입자로 구성되었다기보다는, 어떤 알 수 없는 현상에 의해 파동의 에너지가 양자화 되었다고 해석하였다. 알베르트 아인슈타인은 힐베르트의 가설에서 시작하여, 빛이 실제로 입자로 구성되었다고 가정하면 광전효과를 설명할 수 있다는 사실을 보였다 (1905). 이후 양자역학의 발전과 양자전기역학의 도입으로, 빛이 양자화되었다는 사실을 이론적으로 설명할 수 있게 되었다.
보손
보손()는 스핀이 정수고, 보스-아인슈타인 통계를 따르는 매개 입자다. 인도의 물리학자 사티엔드라 나트 보스의 이름을 땄다. 페르미온의 반대말이다. 모든 입자는 스핀이 정수이거나 반정수이다. 스핀-통계 법칙에 따라 (유령입자나 애니온 따위의 예외적 경우를 제외하고) 전자(前者)의 경우는 보스-아인슈타인 통계를 따르고, 후자는 페르미-디랙 통계를 따른다. 전자를 보손, 후자를 "페르미온"이라고 부른다. 보손은 보스-아인슈타인 통계를 따르므로, 파울리 배타 원리를 따르지 않는다. 즉, 여러 입자가 동일한 상태에 있을 수 있다.
예를 들면, 광자는 스핀이 1인 보손이다. 따라서, 들어온 빛을 완전히 흡수하는 흑체가 복사하는 전자기파의 파장 분포는 보스 통계를 따른다. 또 응집물질물리에 나오는 준입자 포논도 보스 통계를 따른다.
현재 알려진 기본 입자 가운데 보손은 다음과 같다.
초대칭이나 각종 대통일 이론 등, 표준 모형을 확장하는 모형들은 대부분 추가 보손을 예측하나, 이들은 아직 발견되지 않았다.
짝수개의 페르미온으로 구성된 합성 보손이 구성될 수 있다. 예를 들어, 중간자는 쿼크와 반쿼크로 구성된 합성 보손이다. 이 밖에도, 보손들로도 합성 보손이 구성될 수 있다.
양자장론의 스핀-통계 정리에 따라, 로런츠 대칭이 깨지지 않는 이상 모든 보손은 항상 정수의 스핀을 갖는다. 즉, 가능한 스핀은 0, 1, 2, … 따위다. 기본 보손의 경우, 와인버그-위튼 정리에 따라 보통 0, 1, 2만이 가능하다고 여겨지며, 스핀 2인 입자는 중력자, 스핀 1인 입자는 벡터 보손, 스핀 0인 입자는 스칼라 보손으로 불린다.
페르미온과 달리, 보손은 파울리 배타 원리를 따르지 않는다. 즉, 한 양자 상태에 임의의 수의 보손이 존재할 수 있다. 따라서 보손은 낮은 온도에서 보스-아인슈타인 응축 등의 특이한 성질을 보인다.
디리클레 합성곱
디리클레 합성곱(Dirichlet convolution) 혹은 디리클레 포갬은 수론적 함수(arithmetic function)의 집합에서 정의되는 이항연산(binary operation)으로, 수론에서 중요하게 다뤄진다. 독일 수학자 르죈 디리클레의 이름에서 유래하였다.
"f", "g"가 수론적 함수 (즉, 자연수에서 복소수로의 함수)일 때, "f", "g"의 디리클레 포갬 "f" * "g"는 다음과 같이 정의되는 수론적 함수이다.
여기서 덧셈은 "n"의 모든 양의 약수 "d"에 대해 이루어진다.
이 연산의 일반적인 성질을 몇가지 나열해 보면:
덧셈과 디리클레 포갬으로 수론적 함수의 전체집합은 ε을 곱셈에 대한 항등원으로 하는 가환환(commutative ring)을 이루고, 이를 디리클레 환(dirichlet ring)이라 부른다. 이 환의 unit은 "f"(1) ≠ 0 을 만족하는 f들이다.
나아가, 곱셈적 함수의 집합은 디리클레 포갬과 ε을 항등원으로 하는 가환군(abelian group)을 이룬다. 
곱셈적 함수에서 몇가지 중요한 곱셈적 함수들간의 포갬에의한 관계식의 예를 찾아볼 수 있다.
주어진 수론적 함수 formula_2에 대해 디리클레 합성곱을 연산으로 하는 역원 formula_3이 존재한다. 이 역원을 계산하는 계산식은 다음과 같다. 맨 첫 번째 항은 다음과 같다.
그리고 formula_5일 경우는 다음과 같다.
예를 들어, 모든 formula_7에 대해 1 인 수론적 함수의 역원은 뫼비우스 함수가 된다. 더 일반적인 관계는 뫼비우스 반전 공식에 의해 유도된다.
"f"가 수론적 함수이면, L-급수(L-series)는 다음과 같이 정의된다.
급수가 수렴하는 복소수 s에 대해,
L-급수의 곱은 디리클레 포갬과 다음 관계가 있다.
좌변이 존재하는 모든 s에 대해,
위 관계식은 L-급수를 푸리에 변환과 비교해 보면, 포갬 정리(convolution theorem)과 긴밀하다.
물론 수론적 함수는 연속함수가 아니므로 통상적인 의미로서의 미분은 불가능하다. 그러나 산술함수에서 따로 미분을 정의하여 디리클레 합성과 연계하여 사용한다.
주어진 산술함수 formula_2의 미분은 다음과 같이 정의한다. 여기서 물론 formula_11는 망골트 함수(Mangoldt function)이다.
예를 들어, 모든 formula_7에 대해 1 인 수론적 함수 formula_14이 있다고 할 때, 관계식 formula_15 때문에 다음이 성립한다
위와 같이 미분을 정의할 경우 다음과 같은 성질들이 성립한다.
동치관계
수학에서, 동치관계(同値關係, )는 논리적 동치와 비슷한 성질들을 만족시키는 이항관계이다.
집합 formula_1 위의 동치관계 formula_2는 반사관계이자 대칭관계이자 추이관계인 이항관계이다. 즉, 다음 조건들이 성립하여야 한다.
집합 formula_1 위에 동치관계 formula_2이 주어졌을 때, 원소 formula_3의, 동치관계 formula_2에 대한 동치류(同値類, ) formula_16는 그 원소와 동치인 원소들의 집합이다 즉,
집합 formula_1의 formula_2에 대한 몫집합(-集合, ) formula_20은 formula_2에 대한 동치류들의 집합이다. 즉,
집합 위의 동치관계로부터, 표준사상을 구성할 수 있다. 즉, 집합 formula_1 위의 동치관계 formula_2에 대하여, 함수
를 표준사상이라고 한다.
반대로, 전사함수 formula_30에 대하여, 이항관계
는 동치관계이며, 그 몫집합은
이다.
집합 위의 동치관계와 그 집합의 분할 사이에는 자연적인 일대일 대응이 존재한다. 즉, 다음과 같다.
집합 formula_1 위의 동치관계 formula_2에 대하여, 그 몫집합 formula_20은 formula_1의 분할이다. 즉,
반대로, 집합 formula_1의 분할 formula_44에 대하여, 이항관계
는 동치관계이다.