stanford-oval/wikipedia huggingface dataset:
운수 오진 날
제작진 > 극본

김민성 : 영화 《바람과 함께 사라지다》(각본, 각색), 영화 《반드시 잡는다》(각본)
송한나
제작진 > 연출

필감성 : 영화 《무사》(연출부), 영화 《결혼은, 미친 짓이다》(현장 편집), 영화 《말죽거리 잔혹사》(현장 편집), 영화 《어떤 약속》(감독), 영화 《인질》(각본, 감독) 연출
이승훈
등장 인물

(†) 표시는 드라마 상에서 최종적으로 사망한 인물이다.
등장 인물 > 주요 인물

이성민 : 오택 역 - 돼지꿈을 꾼 어느 날 100만 원에 묵포행을 제안받는 택시기사
유연석 : 이병민 / 가짜 금혁수 역 - '오택'에게 묵포행을 제안하나 그 배경에는 자신이 저지른 살인을 덮고 밀항을 계획 중인 연쇄살인마. 본작의 메인 빌런이자 최종 보스
이정은 : 황순규 역 (†, 1회 ~ 7회) - 아들을 죽인 살인자 '금혁수'를 쫓는 처절한 심정의 엄마
등장 인물 > 서울서문경찰서

정만식 : 김중민 역 - 서울서문경찰서 형사1팀 형사
황순규가 도움을 요청하는 형사
남윤호 : 박 형사 역 - 서울서문경찰서 형사1팀 형사
이화정 : 이 형사 역 - 서울서문경찰서 형사1팀 형사
신현종 : 팀장 역 - 서울서문경찰서 형사1팀장
등장 인물 > 오택의 가족

홍사빈 (아역 양희원) : 오승현 역 - 오택의 아들
온라인 도박으로 거액을 날리는 등 사고뭉치.
정찬비 (아역 이승주) : 오승미 역 (†, 1회 ~ 7회) - 오택의 딸
우미화 : 장미림 역 (†, 1회 ~ 7회) - 오택의 전처.
등장 인물 > 황순규 주변인물

이강지 : 남윤호 역 (†) - 황순규의 아들
박환석 : 정이든 역 - 남윤호의 후배
등장 인물 > 이병민 주변인물

원미원 : 병민의 외할머니 역 - 이병민의 외할머니
정윤서 : 병민 모 역 - 이병민의 어머니
미상 : 사회적 지위가 있는 판사
미상 : 이병민의 외할아버지 역 - 이병민이 극중에서 외할아버지 도움없이도 이렇게 해냈다는 이병민의 말로 비추어볼때 명성이 있는 상당한 재력가 집안인것으로 보여짐
요양원에 있는 이병민의 아버지
한동희 : 윤세나 역 - 이병민의 고등학교 첫사랑
이병민이 무서워서 고등학교때 미국유학을 가게 됨.
주연우 : 공천석 역 (†) - 윤세나의 새남친
체육특기생, 이병민을 괴롭히는 환영(유령, 귀신), 이병민의 첫번째 희생자
오혜원 : 노현지 역 - 이병민의 아내. 만삭인 임산부
미상 : 진짜 금혁수 역 (†) - 외과의사
이병민이 애증 아닌 애증 관계로 금혁수의 스마트함과 사람을 아무렇지 않게 죽이는 대범함을 동경하고 따라하다가 증오까지 가서 모든 죄까지 뒤집어 쓰고 가짜 금혁수(이병민)에게 죽임 당하는 인물
등장 인물 > 그 외 인물

태항호 : 양승택 역 - 오택의 교대 근무 택시기사
전직 조폭 출신
최덕문 : 고주환 역 - 소망운수 정비팀장
오택이 유일하게 믿고 의지하는 친구
기은수 : 고채리 역 - 고주환의 딸, 오승현의 여자 친구
윤상화 : 오택의 조력자 역
오은서 : 건널목 여자 아이 역
김윤섭 : 트럭기사 역
김재범 : 정 사장 역
미상 : 밀항 브로커 역
왕준영 : 검문하는 경찰 역
미상 : 노숙자
조상익 : 택시 비상등을 보고 따라온 남성1
김준식 : 택시 비상등을 보고 따라온 남성2
윤상원
김주희
한승호
김민영
이민석
강석
안현빈
최윤빈
오종혁 : 산속 집 아줌마 경찰아들 역
등장 인물 > 특별출연

전현무 : 전현무 역 (1회)
떡 (1988년 영화)

| 떡 Rice Cake |
| --- | --- |
감독: 김수형
각본: 유지형, 어윤청
제작: 김근창
원작: 김유정의 소설 《떡》
출연: 선우일란, 김인문
촬영: 전조명
편집: 이경자
음악: 이철혁
개봉일:  1988년 9월 1일 (1988-09-01) 
시간: 91분
국가: 한국
언어: 한국어
"떡"(Rice Cake)은 한국에서 제작된 김수형 감독의 1988년 에로, 드라마 영화이다. 선우일란 등이 주연으로 출연하였고, 김근창 등이 제작에 참여하였다.
출연 > 주연

선우일란
김인문
출연 > 조연

김추련
오욱철
곽은경
기타

원작자: 김유정
제작부장: 박길석
제작부장: 송재문
촬영부: 이기태
촬영부: 김일현
촬영부: 양희만
조명: 장기종
조명부: 신준하
조명부: 양승규
조명부: 박희준
조감독: 이상우
조감독: 차성춘
조감독: 김정식
녹음: 손인호
소품: 차순하
미용: 박금자
의상: 이해윤
효과: 이재희
특정지방교통선

특정지방교통선(特定地方交通線, Specified local lines)은 1980년 일본국유철도(JNR) 국철재건법에 따라 일본 국철이 폐쇄하도록 지정한 철도 노선이었다. 1983년부터 1990년 사이에 83개 노선이 모두 폐쇄되어 버스로 대체되거나 다른 철도회사로 이전되었다.
선정

일본국철 재건법(공식적으로는 일본 국철 관리 재건 촉진에 관한 특별 조치법, 1980년 법률 제111호) 제8조에서는 일본국철이 버스로 대체해야 하는 수익성이 없는 노선("특정 지선")을 지정하도록 지시했다. 정령으로 정한 특정 기준에 따라 운영된다.
다만, 운송 단위가 1일 4000개 미만이더라도 다음 요건을 충족하는 51개 구간은 폐기 대상에서 제외된다.
피크 시간대의 승객 수는 편도 시간당 1000명이 넘는다.
대체 도로가 부족하다.
겨울철에는 눈으로 인해 10일 이상 대체도로를 이용할 수 없다.
평균 사용 길이는 30km가 넘고, 교통 측정 단위는 하루 1000개가 넘는다.
해당 라인이 화물 운송에 사용되는 경우, 화물 운송 측정 단위가 일일 운송 화물량 4,000톤을 초과하는 경우 운송되는 라인은 면제된다.
일본국철은 3단계에 걸쳐 83개 노선을 선정했다.
같이 보기

비칭 커츠
적자83선
라희

| 라희  |
| --- | --- |
본명: 양희정
출생: 1984년 10월 30일(1984-10-30)(40세) 대한민국 전라북도 전주시
직업: 배우
활동 기간: 2011년 ~ 현재
학력: 원광대학교 음악과 학사
웹사이트: 라희 - 페이스북
라희(본명: 양희정, 1984년 10월 30일 ~ )는 대한민국의 전 가수, 배우이다. 과거 걸 그룹 'LPG' 전 멤버로도 활동하였음.
학교

원광대학교 음악과 학사
경력

2014년 : 그룹 LPG 3기 멤버
연기 활동 > 드라마

2011년 KBS2 월화드라마 《강력반》
2011년 KBS2 월화드라마 《스파이 명월》
2011년 MBC 월화드라마 《빛과 그림자》
2012년 SBS 수목드라마 《부탁해요 캡틴》
연기 활동 > 연극

《러브 액츄얼리》
연기 활동 > 영화

2015년 《매너선생님》
2015년 《나인틴 쉿 상상금지》
2017년 《올리고당 더 무비》
음반

이 부분의 본문은 LPG (음악 그룹)입니다.
윈청구

윈청구(한국어: 운성구, 중국어: 云城区, 병음: Yúnchéng Qū)는 중화인민공화국 광둥성 윈푸 시의 현급 행정구역이다. 넓이는 762km2이고, 인구는 2007년 기준으로 290,000명이다.
행정 구역

4개 가도, 3개 진을 관할한다.
가도: 云城街道, 高峰街道, 河口街道, 安塘街道.
진: 都杨镇, 腰古镇, 思劳镇.
| v t e광둥성의 행정 구역 |
| --- | --- | --- |
 성도: 광저우시 
| 광저우시 |  웨슈구  리완구  하이주구  톈허구  바이윈구  황푸구  판위구  화두구  난사구  쩡청구  충화구  |    |
| 선전시 |  푸톈구  뤄후구  난산구  바오안구  룽강구  옌톈구  핑산구  룽화구  광밍구  |    |
| 주하이시 |  샹저우구  더우먼구  진완구  |    |
| 산터우시 |  진핑구  하오장구  룽후구  차오양구  차오난구  청하이구  난아오현  |    |
| 사오관시 |  전장구  우장구  취장구  러창시  난슝시  스싱현  런화현  웡위안현  신펑현  루위안 야오족 자치현  |    |
| 포산시 |  찬청구  난하이구  순더구  싼수이구  가오밍구  |    |
| 장먼시 |  펑장구  장하이구  신후이구  언핑시  타이산시  카이핑시  허산시  |    |
| 잔장시 |  츠칸구  샤산구  포터우구  마장구  우촨시  롄장시  레이저우시  쑤이시현  쉬원현  |    |
| 마오밍시 |  마오난구  뎬바이구  화저우시  신이시  가오저우시  |    |
| 자오칭시 |  돤저우구  딩후구  가오야오구  쓰후이시  광닝현  화이지현  펑카이현  더칭현  |    |
| 후이저우시 |  후이청구  후이양구  보뤄현  후이둥현  룽먼현  |    |
| 메이저우시 |  메이장구  메이셴구  싱닝시  다부현  펑순현  자오링현  우화현  핑위안현  |    |
| 산웨이시 |  청구  루펑시  하이펑현  루허현  |    |
| 허위안시 |  위안청구  쯔진현  룽촨현  롄핑현  허핑현  둥위안현  |    |
| 양장시 |  장청구  양둥구  양춘시  양시현  |    |
| 칭위안시 |  칭청구  칭신구  잉더시  롄저우시  포강현  양산현  롄산 좡족 야오족 자치현  롄난 야오족 자치현  |    |
| 둥관시 |  (직할향급행정구). 둥관시#행정 구역 참고.  |    |
| 중산시 |  (직할향급행정구). 중산시#행정 구역 참고.  |    |
| 차오저우시 |  샹차오구  차오안구  라오핑현  |    |
| 제양시 |  룽청구  제둥구  푸닝시  제시현  후이라이현  |    |
| 윈푸시 |  윈청구  윈안구  뤄딩시  신싱현  위난현  |    |
광저우시, 선전시는 부성급시이다.
서위

다른 뜻에 대해서는 서위 (동음이의) 문서를 참고하십시오.
위진 남북조 왕조들의 계통도
서위(西魏, 535년 ~ 556년)는 중국 남북조 시대 북위가 분열하여 건국된 국가이다. 지금의 섬서성 일대인 관중 지방을 중심으로 영토를 가지고 있었다. 국호는 위(魏)이지만 같은 북위로부터 분열된 동위와 구별하기 위해 서위라고 부른다.
역사

534년에 대승상 고환을 제거하려는 음모를 꾸미다가 실패한 효무제는 낙양에서 관중으로 도망쳐 우문태에게 보호를 받았다. 황제가 없어진 고환은 곧이어 업에서 효정제를 옹립하였다. 이로써 동위가 건국되었다. 한편 효무제를 보호하던 우문태는 효무제와 서로 사이가 나빠져 효무제를 독살하고 문제를 옹립하니 이로써 서위가 건국되었다.
서위는 우문태가 실권을 장악하여 황제는 우문태의 꼭두각시였다. 국력은 동위에 비해 떨어졌지만, 군사적으로 여러 차례 동위를 압도하는 전과를 올렸다.
남조 양나라가 후경의 난에 의해 혼란해진 사이를 틈타 양나라를 공격하여 익주 일대를 빼앗아 남쪽으로 영토를 확장했다. 공제 때는 후경의 난을 틈타 항복해온 양나라의 옹주자사 소찰을 이용해 양나라의 수도인 강릉을 공격하여 함락시키고 원제(元帝)를 죽인 뒤, 소찰을 후량의 황제로 세웠다.
우문태의 사후 뒤를 계승한 우문각은 사촌동생 우문호의 도움을 받아 556년에 공제로부터 선양을 받고 제위에 올라 북주를 건국하니 이로써 서위는 멸망하였다.
역대 황제

| 대수 | 시호 | 성명 | 연호 | 재위기간 |
| --- | --- | --- | --- | --- |
| - | 문경황제 (文景皇帝) (서위 문제 추숭) | 원유(元愉) | - | - |
| 제1대 | 문황제 (文皇帝) | 원보거(元寶炬) | 대통(大統) 535년 ~ 551년 | 535년 ~ 551년 |
| 제2대 | 폐황제 (廢皇帝) | 원흠(元欽) | - | 551년 ~ 554년 |
| 제3대 | 공황제 (恭皇帝) (송공<宋公>) | 탁발곽(拓跋廓) | - | 554년 ~ 556년 |
균등 공간

일반위상수학에서 균등 공간(均等空間, 영어: uniform space)은 두 점이 서로 "가까운지" 여부가 주어진 집합이다. 균등 공간 위에는 균등 연속 함수 · 코시 그물 · 완비화 등의 개념을 정의할 수 있다.
균등 공간의 개념은 위상 공간과 거리 공간의 가운데에 있다. 즉, 임의의 거리 공간 위에는 표준적인 균등 공간 구조가 주어지며, 임의의 균등 공간 위에는 표준적인 위상이 주어진다. 거리 공간이 아닌 균등 공간의 대표적인 예로는 위상군과 콤팩트 하우스도르프 공간이 있다.
정의

균등 공간의 개념은 측근(側近, 프랑스어: entourage 앙투라주[*])의 개념을 사용하여 정의할 수 있으며, 또는 균등 덮개(均等-, 영어: uniform cover)의 개념을 사용하여 정의할 수도 있다. 두 정의는 서로 동치이다. 대략, 측근은 위상 공간의 열린집합과 유사한 개념이며, 균등 덮개는 위상 공간의 열린 덮개와 유사한 개념이다.
정의 > 측근을 통한 정의

집합  X가 주어졌다고 하자. 그렇다면,  X 위의 두 이항 관계  E,F\subseteq X^{2}의 합성  F\circ E은 다음과 같다.
X 위의 이항 관계  E\subseteq X^{2}의 반대 관계(영어: opposite relation)  E^{\operatorname {op} }는 다음과 같다.
집합  X 위의 균등 공간 구조는 다음과 같은 데이터로 구성된다.
X\times X의 부분 집합들의 집합  {\mathcal {E}}\subseteq {\mathcal {P}}(X\times X). 그 원소를 측근(側近, 프랑스어: entourage 앙투라주[*])이라고 한다.
{\mathcal {E}}는 포함 관계에 따라서 부분 순서 집합을 이루며, 이는 다음 조건들을 만족시켜야 한다.
(하계) 대각 부분 집합  \operatorname {diag} _{X}=\{(x,x)\colon x\in X\}는  {\mathcal {E}}의 하계를 이룬다. 즉, 임의의 측근  E\in {\mathcal {E}}에 대하여,  E\supseteq \operatorname {diag} _{X}이다.
{\mathcal {E}} 는 부분 순서 집합 ({\mathcal {P}}(X^{2}),\subseteq ) 위의 필터를 이룬다. 즉, 다음이 성립한다.
(자명한 측근)  X^{2}\in {\mathcal {E}}이다.
(상집합성) 임의의  {\mathcal {E}}\ni E\subseteq F\subseteq X^{2}에 대하여,  F\in {\mathcal {E}}
(하향성) 임의의  E,F\in {\mathcal {E}}에 대하여,  E\cap F\in {\mathcal {U}}
만약  E\in {\mathcal {E}}라면,  F\circ F\subseteq E인  F\in {\mathcal {E}}가 존재한다.
(역원에 대한 닫힘) 만약  E\in {\mathcal {E}}라면,  E^{\operatorname {op} }\in {\mathcal {E}}이다.
균등 공간 구조가 주어진 집합을 균등 공간이라고 한다. 주어진 집합  X 위의 균등 공간 구조들은 포함 관계에 따라서 부분 순서 집합을 이룬다. 위상의 비교와 마찬가지로, 두 균등 공간 구조  {\mathcal {E}},{\mathcal {E}}'\subseteq {\mathcal {P}}(X^{2})에 대하여, 만약  {\mathcal {E}}\subseteq {\mathcal {E}}'이라면  {\mathcal {E}}를  {\mathcal {E}}'보다 더 엉성한 균등 공간 구조(영어: coarser uniform structure)라고 하고,  {\mathcal {E}}'을  {\mathcal {E}}보다 더 섬세한 균등 공간 구조(영어: finer uniform structure)라고 한다.
정의 > 균등 덮개를 통한 정의

집합  X의 덮개  {\mathcal {C}}\subseteq {\mathcal {P}}(X)는  \bigcup {\mathcal {C}}=X가 되는 부분 집합들의 족이다.  X의 덮개들의 집합을  \operatorname {Cover} (X)로 표기하자.  X 위의 두 덮개  {\mathcal {C}},{\mathcal {C}}'\in \operatorname {Cover} (X)가 주어졌을 때,  {\mathcal {C}}'이  {\mathcal {C}}의 세분인 것을  {\mathcal {C}}'\lesssim {\mathcal {C}}로 표기하고,  {\mathcal {C}}'이  {\mathcal {C}}의 성형 세분인 것을  {\mathcal {C}}'^{\star }\lesssim {\mathcal {C}}로 표기하자. 세분 관계는 원순서이며, 따라서  (\operatorname {Cover} (X),\lesssim )는 원순서 집합을 이룬다.
균등 공간  (X,{\mathfrak {C}})은 다음과 같은 데이터로 주어진다.:85, Definition 7.1:2, Definition 1.1
X는 집합이다.
{\mathfrak {C}}\subseteq \operatorname {Cover} (X)는  X 위의 덮개들의 집합이다.  {\mathfrak {C}}의 원소를 균등 덮개(均等-, 영어: uniform cover)라고 한다.
이 데이터는 다음 조건들을 만족시켜야 한다.
(균등 성형 세분의 존재) 임의의 균등 덮개  {\mathcal {C}}\in {\mathfrak {C}}에 대하여,  {\mathcal {C}}'^{\star }\lesssim {\mathcal {C}}인 균등 덮개  {\mathcal {C}}'\in {\mathfrak {C}}가 존재한다.
{\mathfrak {C}} 는 (\operatorname {Cover} (X),\lesssim ) 위의 필터이다. 즉, 다음이 성립한다.
(자명한 덮개의 균등성)  \{X\}\in {\mathfrak {C}}. 즉, 한원소 덮개  \{X\}는 균등 덮개이다.
(상집합성) 임의의 균등 덮개  {\mathcal {C}}\in {\mathfrak {C}} 및 덮개  {\mathcal {C}}'\in \operatorname {Cover} (X)에 대하여, 만약  {\mathcal {C}}\lesssim {\mathcal {C}}'이라면,  {\mathcal {C}}' 역시 균등 덮개이다.
(하향성) 임의의 두 균등 덮개  {\mathcal {C}},{\mathcal {C}}'\in {\mathfrak {C}}에 대하여,  \{C\cap C'\colon C\in {\mathcal {C}},\;C'\in {\mathcal {C}}\}\in {\mathfrak {C}}이다.
균등 덮개를 통한 정의는 측근을 통한 정의와 동치이다. 구체적으로, 측근을 사용한 정의의 균등 공간  (X,{\mathcal {E}})가 주어졌을 때, 균등 덮개의 집합  {\mathfrak {C}}는 다음과 같다.
여기서
는 덮개 집합의 세분 관계에 대한 상폐포이다. 즉, 균등 덮개는 측근  E에 대한  \{E[x,-]\}_{x\in X} 꼴의 덮개에 의하여 세분될 수 있는 덮개이다.
반대로, 균등 덮개의 집합  {\mathfrak {C}}가 주어졌을 때, 측근의 집합  {\mathcal {E}}는 다음과 같다.
여기서
는 부분 집합 관계에 대한 상폐포이다.
정의 > 기본계

균등 공간  (X,{\mathcal {E}})에서, 만약 측근 집합  {\mathcal {B}}\subseteq {\mathcal {E}}가 다음 조건을 만족시킨다면,  {\mathcal {B}}는 균등 공간 구조  {\mathcal {E}}의 기본계(基本系, 영어: fundamental system)라고 한다.
균등 공간 구조의 기본계는 위상의 기저와 유사한 개념이다.
정의 > 균등 연속 함수

이 부분의 본문은 균등 연속 함수입니다.
두 균등 공간  (X,{\mathcal {E}}),  (Y,{\mathcal {F}}) 사이의 균등 연속 함수(영어: uniformly continuous map)는 다음 조건을 만족시키는 함수  f\colon X\to Y이다.
측근의 원상은 측근이다. 즉, 임의의  F\in {\mathcal {F}}에 대하여,  f^{-1}(F)\in {\mathcal {E}}이다.
균등 공간들과 균등 연속 함수들은 범주를 이루며, 이를  \operatorname {Unif} 라고 표기한다.
성질 > 위상수학적 성질

균등 공간  (X,{\mathcal {E}}) 위에 표준적인 위상을 정의할 수 있으며, 이를 균등 위상(영어: uniform topology)이라고 한다. 균등 위상에서, 임의의 점  x\in X의 근방 필터는 다음과 같이 정의된다.
모든 균등 공간은 (균등 위상을 부여할 때) 완비 정칙 공간이다. 사실, 이는 필요충분조건이다. 즉, 위상 공간에 대하여 다음 두 조건이 서로 동치이다.
균등화 가능 공간(영어: uniformizable space)이다. 즉, 그 위상과 호환되는 균등 공간 구조가 존재한다.
완비 정칙 공간이다.
증명 (균등 공간은 완비 정칙 공간):
(균등 위상을 갖춘) 균등 공간  (X,{\mathcal {E}})가 주어졌다고 하자. 임의의 닫힌집합  C\subseteq X 및  x\in X\setminus C에 대하여,  f(x)=0이며  f(C)\subseteq \{1\}인 연속 함수  f\colon X\to [0,1]을 찾으면 족하다. 다음과 같은 측근의 열  (E_{i})_{i=0}^{\infty }\subseteq {\mathcal {E}}를 취하자.
[0,1] 속의 이진 유리수의 집합을  J라고 하자. 다음과 같은 측근 집합  \{F_{j}\}_{j\in J}을 정의하자. 임의의  j\in J에 대하여,  j의 이진법 전개가
라면,
로 정의한다. 이 경우 만약  j,j'\in J이며  j\leq j'이라면  F_{j}\subseteq F_{j'}이다. 이는
일 때
이기 때문이다.
이제, 함수  f\colon X\to [0,1]를 다음과 같이 정의하자.
그렇다면, 임의의  j\in J에 대하여  (x,x)\in F_{j}이므로  f(x)=0이며, 임의의  y\in C 및  j\in J에 대하여  (x,y)\not \in F_{j}이므로  f(C)\subseteq \{1\}이다. 이제  f가 연속 함수임을 보이는 일만 남았다. 사실,  f는 균등 연속 함수이며, 구체적으로 임의의 양의 정수  n\in \mathbb {Z} ^{+} 및  (y,z)\in E_{n}에 대하여  |f(y)-f(z)|\leq 1/2^{n-1}이다. 이는 다음과 같이 보일 수 있다.
라고 하였을 때,
이므로  f(y)<j라면  f(z)\leq j'이다. 즉,  f(y)와  f(z) 사이의 열린구간은  [j,j'] 꼴의 부분 구간을 포함하지 않는다. 따라서  |f(y)-f(z)|\leq 1/2^{n-1}이다.
증명 (완비 정칙 공간 위의 균등 공간 구조):
임의의 위상 공간  X 위에는 모든 연속 함수  X\to [0,1]을 균등 연속 함수로 맏드는 가장 엉성한 균등 공간 구조  {\mathcal {E}}를 부여할 수 있다. 즉, 이는 다음과 같은 기본계를 갖는다.
{\mathcal {E}}의 균등 위상은  X의 위상보다 엉성하다. 이는
가 항상  X의 열린집합이기 때문이다. 반대로, 만약  X가 완비 정칙 공간이라면, 임의의 열린집합  U\subseteq X 및  x\in U에 대하여, 완비 정칙성에 따라  B_{f,1}[x,-]\subseteq U인 연속 함수  f\colon X\to [0,1]이 존재한다. 따라서  U는 균등 위상에 대한 열린집합이며, 균등 위상은  X의 위상보다 섬세하다.
균등 공간  (X,{\mathcal {E}})에 대하여 다음 조건들이 서로 동치이며, 이 조건을 만족시키는 균등 공간을 하우스도르프 균등 공간이라고 한다.
균등 위상이 콜모고로프 공간(T0)이다.
균등 위상이 티호노프 공간(T3½ = 완비 정칙 하우스도르프 공간)이다.
\bigcap {\mathcal {E}}=\operatorname {diag} _{X}
(물론, T0과 T3½ 사이의 모든 Ti 조건 역시 동치이다.)
증명:
T0과 T3½ 사이의 분리공리들의 동치는 완비 정칙성에 의한다.  X의 측근들 가운데, 균등 위상의 곱위상을 부여한  X\times X에서 닫힌집합인 것들의 집합은  X의 기본계를 이룬다. 따라서,  \textstyle \bigcap {\mathcal {E}}는 모든 닫힌 측근들의 교집합이며, 특히 닫힌집합이다. 따라서 만약  \textstyle \bigcap {\mathcal {E}}=\operatorname {diag} _{X}라면,  \operatorname {diag} _{X}는 닫힌집합이며,  X는 하우스도르프 공간이다. 반대로, 만약  X가 하우스도르프 공간이라면, 임의의  (x,y)\in X\times X\setminus \operatorname {diag} _{X}는 서로소 근방  E[x,-]와  F[y,-]를 갖는다. 특히,  (x,y)\not \in E이며,  (x,y)는 모든 측근들의 교집합의 원소가 아니다. 즉,  \textstyle \bigcap {\mathcal {E}}=\operatorname {diag} _{X}이다.
균등 공간에 대하여, 다음 두 조건이 서로 동치이다.
유사 거리화 가능 균등 공간(영어: pseudometrizable uniform space)이다. 즉, 균등 공간 구조와 호환되는 유사 거리 함수가 존재한다.
가산 기본계를 갖는다.
이는 위상군에 대한 버코프-가쿠타니 정리를 일반화한다.
성질 > 범주론적 성질

균등 공간과 균등 연속 함수의 범주  \operatorname {Unif} 는 구체적 범주이며, 다음과 같은 성질을 갖는다.
성질 > 범주론적 성질 > 극한과 쌍대극한

\operatorname {Unif} 는 위상 범주이다.:361, Example 21.8(1) 따라서 완비 범주이자 쌍대 완비 범주이며,:365, Corollary 21.17(1) 망각 함자
는 왼쪽 수반 함자와 오른쪽 수반 함자를 갖는다.:362, Proposition 21.12 그러나  \operatorname {Unif} 는 데카르트 닫힌 범주가 아니다.
\operatorname {Unif} 의 끝 대상은 한원소 집합 위의 유일한 균등 공간 구조이며, 시작 대상은 공집합 위의 유일한 균등 공간 구조이다.
균등 공간의 범주  \operatorname {Unif} 는 모든 (집합 크기의) 곱을 갖는다. 구체적으로, 균등 공간들의 족  \{(X_{i},{\mathcal {E}}_{i})\}_{i\in I}의 곱 균등 공간(영어: product uniform space)은 집합으로서 곱집합  \textstyle \prod _{i\in I}X_{i}이며, 그 위의 균등 공간 구조는 다음과 같은 기본계로 생성된다.
이는 표준적인 사영 함수  \textstyle \prod _{i\in I}X_{i}\to X_{i}들을 균등 연속 함수로 만드는 가장 엉성한 균등 공간 구조이다.
성질 > 범주론적 성질 > 함자

균등 공간의 범주에서, 균등 공간 구조를 잊어 완비 정칙 공간  \operatorname {CRegTop} 의 범주로 가는 망각 함자
가 존재하며, 이는 왼쪽 수반 함자
를 갖는다. 즉,  G는  \operatorname {Unif} 에 존재하는 모든 극한을 보존하며, 반대로  F는  \operatorname {CRegTop} 에 존재하는 모든 쌍대극한을 보존한다.
특히, 임의의 균등 공간들의 족  \{X_{i}\}_{i\in I}의 범주론적 곱의 균등 위상은  \{X_{i}\}_{i\in I}의 균등 위상들의 곱위상과 일치한다. 즉, 함자  G는 모든 곱을 보존한다.
함자  F\colon \operatorname {CRegTop} \to \operatorname {Unif} 는 주어진 완비 정칙 공간에 이와 호환되는 가장 섬세한 균등 공간 구조를 부여한다. 구체적으로, 완비 정칙 공간  X 위에 부여되는 균등 공간 구조는 다음과 같은 집합족을 기본계로 한다.:247, Corollary 36.17
예 > 자명한 균등 공간

집합  X 위에 다음과 같은 균등 공간 구조를 부여할 수 있으며, 이를 이산 균등 공간이라고 한다.:3, Definition 1.2:86, Definition 7.2
이로부터 유도되는 위상은 이산 위상이다. 이는  X 위에 존재하는 가장 섬세한 균등 공간 구조이다.
집합  X 위에 다음과 같은, 하나의 측근만을 갖는 균등 공간 구조를 부여할 수 있으며, 이를 비이산 균등 공간(영어: indiscrete uniform space)이라고 한다.:3, Definition 1.3:86, Definition 7.3
이로부터 유도되는 위상은 비이산 위상이다. 이는  X 위에 존재하는 가장 엉성한 균등 공간 구조이다.
예 > 거리 함수로부터 정의되는 균등 공간 구조

집합  X가 주어졌다고 하고, 함수
가 다음 조건들을 만족시킨다고 하자.
d(x,x)=0\qquad \forall x\in X
d(x,y)=d(y,x)\qquad \forall x,y\in X
(삼각 부등식)  d(x,z)\leq d(x,y)+d(y,z)
(그러나  x\neq y\implies d(x,y)>0일 필요는 없다.) 이는 거리 공간의 거리 함수의 개념의 일반화이다. 그렇다면, 다음과 같은 기본계를 사용하여  X 위의 균등 공간 구조를 정의할 수 있다.
예 > 위상군

위상군  G 위의 오른쪽 균등 공간 구조(영어: right uniform structure)는 다음과 같은 기본계로서 정의되는 균등 공간 구조이다.
여기서  U는 항등원  1_{G}\in G의 임의의 근방이다. 마찬가지로, 위상군  G 위의 왼쪽 균등 공간 구조(영어: left uniform structure)는 다음과 같은 기본계로서 정의되는 균등 공간 구조이다.
(물론, 아벨 위상군의 경우 두 균등 공간 구조가 일치한다.)
임의의 원소  g\in G에 대하여, 오른쪽의 곱셈  (\cdot g)\colon G\to G는 오른쪽 균등 공간 구조 아래 균등 연속 함수이며, 왼쪽의 곱셈  (g\cdot )\colon G\to G는 왼쪽 균등 공간 구조 아래 균등 연속 함수이다.
위상군은 항상 균등화 가능 공간이다. 오른쪽 균등 위상과 왼쪽 균등 위상은 위상군의 원래 위상과 일치한다.
예 > 잉여류 공간

위상군  G의 부분군  H\leq G에 대하여, 왼쪽 잉여류 공간  G/H 위에 다음과 같은 기본계를 통해 균등 공간 구조를 부여할 수 있다.
여기서  U는 항등원  1_{G}\in G의 임의의 근방이다. 이로부터 정의되는 균등 위상은 몫공간 위상과 일치한다.
예 > 콤팩트 하우스도르프 공간

콤팩트 하우스도르프 공간  X가 주어졌다고 하자. 그렇다면,  X의 위상과 같은 위상을 유도하는 유일한 균등 공간 구조가 존재하며, 이 경우 측근은 곱공간  X\times X에서 대각 부분 집합  \operatorname {diag} _{X}\subseteq X\times X의 근방으로 주어진다.
이는 필요 조건이 아니다. 구체적으로, 티호노프 공간(즉, 균등화 가능 하우스도르프 공간)  X에 대하여, 다음 세 조건이 서로 동치이다.
X의 위상과 같은 위상을 유도하는 유일한 균등 공간 구조가 존재한다.
X의 위상과 같은 위상을 유도하는 유일한 완전 유계 균등 공간 구조가 존재한다.
X를 그 스톤-체흐 콤팩트화  \beta X의 부분 집합으로 여겼을 때,  |\beta X\setminus X|\leq 1
이와 유사하게, 티호노프 공간  X에 대하여, 다음 세 조건이 서로 동치이다.
X의 위상과 같은 위상을 유도하는 가장 엉성한 균등 공간 구조가 존재한다.
X의 위상과 같은 위상을 유도하는 가장 엉성한 완전 유계 균등 공간 구조가 존재한다.
X는 국소 콤팩트 하우스도르프 공간이다.
예 > 기본계의 예

임의의 균등 공간  (X,{\mathcal {E}})에서, 다음 측근 집합들은 기본계를 이룬다.
대칭 측근들의 집합  \{E\in {\mathcal {E}}\colon E=E^{\operatorname {op} }\}
(균등 위상의 곱위상에 대한) 열린 측근들의 집합
(균등 위상의 곱위상에 대한) 닫힌 측근들의 집합
증명:
대칭 측근: 임의의  E\in {\mathcal {E}}에 대하여,  F=E\cap E^{\operatorname {op} }\subseteq E는 대칭 측근이다.
열린 측근: 임의의 측근  E\in {\mathcal {E}}에 대하여,  \operatorname {int} E 역시 측근임을 보이는 것으로 충분하다.  F\circ F\circ F\subseteq E인 대칭 측근  F=F^{\operatorname {op} }\in {\mathcal {E}}를 취하자. 그렇다면
가  F의 근방이므로,
이며, 따라서  \operatorname {int} E\in {\mathcal {E}}이다.
닫힌 측근: 임의의 측근  E\in {\mathcal {E}}에 대하여,  \operatorname {cl} F\subseteq E인 측근  F\in {\mathcal {E}}을 찾는 것으로 충분하다.  F\circ F\circ F\subseteq E인 대칭 측근  F=F^{\operatorname {op} }\in {\mathcal {E}}를 취하자. 그렇다면, 임의의  (x,y)\in X^{2}에 대하여,
은  (x,y)의 국소 기저를 이루며, 이에 따라
임을 보일 수 있다. 따라서
이다.
역사

거리 공간의 개념을 추상화하기 위하여 앙드레 베유가 1937년에 도입하였다. 이후 니콜라 부르바키가 측근을 사용한 정의를 도입하였다.
균등 공간의 개념의 필요성에 대하여 수학자 게르하르트 프로이스(독일어: Gerhard Preuß, 1940~2011)는 다음과 같이 적었다.
| 0 | 1 | 2 |
| --- | --- | --- |
| “ | 균등 개념들(균등 연속성 · 균등 수렴 · 코시 열/코시 필터 등)과 완비성은  \operatorname {Top}  [위상 공간의 범주]에서 정의할 수 없다. 그 이유는 무엇인가? 해석학에서의 코시 열의 개념을 살펴보자. […] 서로 다른 점들의 ε-근방은 같은 크기를 갖는 것으로 간주된다. 위상 공간  (X,{\mathcal {X}})에서는 모든 점  x\in X에 대하여 근방계  {\mathcal {U}}(x)가 부여되며 (하우스도르프의 원래 정의에 따라) 특정 공리들을 만족시킨다. 그러나 서로 다른 점들의 근방들의 크기를 비교할 수 없다. 따라서, 서로 다른 점들의 근방들의 크기를 (거리 공간에서와 같이) 비교할 수 있다면 코시 열을 정의할 수 있다. 마찬가지로 왜 균등 연속성과 균등 수렴을 위상 공간만으로 정의할 수 없는지 설명할 수 있다. 마지막으로 (그리고 특히) 코시 필터의 개념이 없이는 위상 공간의 완비성을 정의할 수 없다.  Uniform concepts such as uniform continuity, uniform convergence, Cauchy sequences (or Cauchy filters) and completeness are not available in  \operatorname {Top} . What are the reasons? First let us consider the concept of Cauchy sequence in Analysis: […] ε-neighborhood of distinct points may be considered to have the same size. In a topological space  (X,{\mathcal {X}}) there is assigned a neighborhood system  {\mathcal {U}}(x) to each  x\in X such that certain axioms are satisfied (according to Hausdorff’s original definition of topological spaces) but there is no possibility to compare neighborhoods of different points with respect to their size. Thus, whenever it is possible to compare neighborhoods of different points with respect to their size (e.g. in metric spaces), Cauchy sequences can be defined. The same argument may be used to explain why uniform continuity and uniform convergence are not available in the realm of topological spaces. Last not least, we cannot define completeness in topological spaces because of the absence of the concept of Cauchy filter. | ” |
|   | — :xvi |  |
양태 (문법)

언어학에서 양태(樣態, modality)는 화자가 문장이 나타내는 명제나 명제가 기술하는 상황/사건에 대하여 자신의 의견이나 태도를 표현하는 문법 범주이다. 양상(樣相)이라고도 한다. 양태는 문법형태소나 우언적 구성 등 (준)문법적 구성으로 실현되나, 그 밖의 성분으로 실현되는 양태적 의미를 양태에 포함하기도 한다.
개념과 용어

양태에 대한 가장 유명한 정의는 언어학자 라이언스(John Lyons)의 ‘문장이 나타내는 명제 또는 명제가 기술하는 상황에 대한 화자의 의견이나 태도’(his opinion or attitude towards the proposition that the sentence expresses or the situation that the proposition describes)로, 그의 논의에서 이 정의는 양태 범주와 관련된 문장 부사어를 기술하기 위하여 도입된 설명이었다. 라이언스와 가장 극단에 있는 입장으로, 미국의 언어학자 필모어(Charles J. Fillmore)는 문장을 명제와 양태로만 이분하며, 그에게 양태는 시제, 상, 서법, 부정 등의 문법 범주를 모두 아우르는 개념이다.
‘modality’는 드물게 사용된 고전후 시대 라틴어 단어인 ‘modalitas’가 프랑스어 ‘modalité’를 거쳐 영어에 들어온 단어이다. 옥스포드 영어사전에 따르면 ‘modality’는 ‘태도와 관련된 측면’이라는 일반적인 의미로 1545년에 처음 쓰였고, 필연성이나 가능성과 관련된 논리적, 철학적 의미로는 1628년에 처음 쓰였으며, 오늘날과 같은 언어학적 의미로는 1907년에 처음 쓰였다. ‘무엇을 재는 것’, 또는 ‘무엇을 하는 방법’을 뜻하는 라틴어 ‘modus’는 영어에 들어오면서 ‘mode’(서법)가 되었는데, 중세에 다의어였던 ‘modus’의 여러 뜻 중 하나는 문법 범주 ‘양태’였다. 한편, 서법을 뜻하는 영단어 ‘mood’와 ‘mode’는 중세 영어에서 모두 ‘moood’라고 썼다.
서구 문법에서 서법은 명제 내용이 현실인지 비현실인지에 따라 배타적으로 나뉘는 양항 대립 체계로, 각각을 현실적 서법(realis mood)과 비현실적 서법(irrealis mood)이라고 부른다. 과거에는 이를 받아들여 어미로 실현되는 한국어의 서법을 직설법, 회상법, 추측법, 강조법, 원칙법, 확인법 따위로 나누었고, 문법 범주인 서법에 대응되는 의미 범주로서 한국어의 양태를 설정하였다. 그러나 인도유럽어와 특성이 다른 한국어 같은 언어에 서구의 전통적인 서법 개념을 그대로 적용하기에는 무리가 있다. 이에 따라 한국어의 양태와 서법을 연관짓는 논의는 차차 나타나지 않게 되었다. 과거에, 문법학자 서정수는 선어말어미로 실현되는 화자의 태도를 나타내는 의미를 별도의 문법 범주로 설정하지 않고 서법 범주에 포함하였고, 고영근은 서법이 표시하는 화자의 태도에 관련된 의미를 ‘양태성’이라고 명명하였다. 장경희는 초기에 ‘사건에 대한 화자의 정신적 태도를 나타내는 것’을 양태로 규정하였고, 나중에 ‘명제에 대한 태도’로 견해를 수정하였다. ‘modality’는 ‘양상’으로 번역되기도 하였으나, 장경희의 1985년 연구 이래로 일관되게 ‘양태’로 번역되고 있다.
분류 > 양상 논리와 양태

양상 논리  문서를 참고하십시오.
명제 논리에서 명제 내용의 진리치는 참과 거짓뿐이다. 양상 논리는 여기에 필연성(necessity, □)과 가능성(possibility, ◇)이라는 개념을 더한다. 이를 다시 화자의 태도의 정도에 따라 필연성, 개연성(probability), 가능성으로 세분하기도 한다. 일반적인 진리 양상 논리(alethic logic)에서 필연성은 어떤 명제가 모든 가능세계에서 참인 경우를, 가능성은 최소 하나의 가능세계에서 참인 경우를 말한다. 이러한 필연성과 가능성을 어떻게 해석하느냐에 따라, 전통적으로 양태는 인식 양태(epistemic modality)와 의무 양태(deontic modality)로 양분된다.
인식 양상 논리(epistemic logic)에서 인식 양태 또는 인식론적 양상은 명제의 필연성이나 가능성에 대한 화자의 태도를 나타낸다. 인식 양태가 나타내는 필연성은 화자의 불완전한 현재 지식에 근거하므로, 양상 논리에서의 필연성과 달리 모든 세계에서 참인 것은 아닐 수도 있다. 또 인식 양태가 나타내는 가능성은 명제의 내용이 어떤 가능세계에서 참일 수도 있음을 내포하지만, 그런 일이 실제로 일어났는지 화자가 알 수는 없다.
의무 양상 논리(deontic logic)에서 의무 양태 또는 의무적 양상은 명제에 나타난 행위자의 행위의 필연성이나 가능성에 대한 화자의 태도를 나타낸다. 의무 양태가 나타내는 필연성은 행위자의 행위가 바람직한 모든 가능세계에서 그래야 한다는 화자의 태도와, 의무 양태가 나타내는 가능성은 행위자의 행위가 어떤 가능세계에서는 가능해도 좋다는 화자의 태도와 관련된다.
분류 > 인식 양태와 의무 양태

양상 논리의 영향을 받아 창안된 통사론 및 의미론에서의 양태 이론은 그 의미 범주가 더욱 확장되었다.
통사론과 의미론에서 인식 양태는 명제의 내용에 대한 화자의 태도를 나타낸다. 일반적으로 인식 양태에는 영어의 must에 대응하는 필연적인 추측(deductive), 영어의 may에 대응하는 개연적인 추측(speculative), 영어의 will에 대응하는 약한 가능성(assumptive)의 의미가 있다. 이러한 명제의 사실적 지위에 대한 화자의 세 가지 판단 정도는 각각 양태부사 certainly, probably, possibly에 대응한다.
| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
(1): deductive
|  | John | must | be in his office. |
: John은 분명 사무실에 있을 것이다.
(2): speculative
|  | John | may | be in his office. |
: John은 아마 사무실에 있을 것 같다.
(3): assumptive
|  | John | will | be in his office. |
: John은 어쩌면 사무실에 있을지도 모른다.
구체적으로 인식 양태는 화자의 추측, 가능성(능력), 지각 등을 나타낸다.
의무 양태는 명제에 나타난 화자/청자/주어의 행위에 대한 화자의 태도를 나타낸다. 의무적(deontic)이라는 단어는 그리스어로 ‘구속하는(binding) 것’을 뜻하는 ‘deon’에서 왔다. 일반적으로 의무 양태에는 지시(directive)의 의미와 영어의 shall에 대응하는 약속법(commissive)의 의미가 있다. 지시의 의미는 다시 많은 언어에서 의무적 필연성과 의무적 가능성의 의미로 나뉜다. 명제에 대한 의무(rule)는 문맥에 따라 화용적으로 부과된다. 의무 양태의 필연성은 필수적인 일, 의무적인 일, 사람이 의무적으로 해야 하는 것을 나타낸다. 가령 ‘You must be home by midnight.→너는 자정까지 집에 돌아와야 한다.’의 명제에 필연성을 부과하는 근거는 ‘어머니의 말씀’이다. 의무 양태의 가능성은 의무 안에서 허용되는 일을 나타낸다. 가령 ‘Visitors may use the downstairs sitting room after 6 p.m.→오후 6시 이후 숙박객은 아래층의 공용 공간을 이용할 수 있습니다.’의 명제에 가능성을 부과하는 근거는 ‘숙박시설의 규정’이다.
| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
(1): directive (possibility)
|  | Du | magst | herein kommen |
|  | You | may | come in |
: 당신은 들어와도 좋다.
(2): directive (necessity)
|  | Du | musst | herein kommen |
|  | You | must | come in |
: 당신은 들어와야 한다.
구체적으로 의무 양태는 화자의 의도, 의무, 소망, 능력, 허가 등을 나타낸다. 이때 의무 양태는 행위 양태(act modality)나 사건 양태(event modality)라고도 한다. 이 양태 범주가 나타내는 의미가 반드시 의무에만 한정되지 않게 되었기 때문이다.
분류 > 명제 양태와 사건 양태

영국의 언어학자 프랭크 팔머(Frank Robert Palmer)는 양태를 명제 양태(propositional modality)와 사건 양태(event modality)로 이분한다. 명제 양태는 명제에 관한 화자의 판단(judgment)을 나타내는 양태 의미이고, 사건 양태는 명제가 기술하는 사건에 대한 화자의 태도(attitude)를 나타내는 양태 의미이다. 명제 양태는 인식 양태에 증거 양태(증거성)를 추가한 범주이며, 사건 양태는 의무적 의미 이상으로 의미의 폭이 넓어진 의무 양태의 이름을 고친 범주이다.
명제 양태는 인식 양태와 증거 양태(증거성)으로 나뉜다. 인식 양태는 명제의 사실적 지위에 대한 화자의 판단을 나타내고, 증거 양태는 명제의 사실적 지위에 대하여 화자가 판단한 증거의 출처를 나타낸다. 이 중 증거 양태에서 증거의 출처는 지각함으로써(sensory) 알았는지, 봄으로써(visual) 알았는지, 추론(inference)을 통하여 알았는지, 다른 사람에게 간접적으로 들음(hearsay)으로써 알았는지 등으로 나눌 수 있다.
사건 양태는 의무 양태와 동적 양태로 나뉜다. 의무 양태는 사건의 당위성에 대한 화자의 태도를 나타내고, 동적 양태는 사건의 발생 가능성에 대한 화자/청자/주어의 태도를 나타낸다. 의무 양태에는 일반적으로 의무(obligation)를 표현하는 의미와 허용(permission)을 표현하는 의미가 있다. 동적 양태에는 일반적으로 능력(ability)을 표현하는 의미(abilitive)와 의지(willingness)를 나타내는 의도법(volitive)적 의미가 있다. 전자는 영어의 can에, 후자는 영어의 will에 대응한다. 언어에 따라 능력과 의지를 더 잘게 나누기도 하고, 아예 동적 양태의 의미 체계가 다른 경우도 있다. 아래는 능력을 두 가지 범주로 나타내는 리수어의 예시이다.
| --- | --- |
(1): mental abilitive
: ása nya ami khwa kwú-a̪
: Asa is able (knows how) to hoe fields
: Asa는 밭에 괭이질을 하는 법을 안다.
(2): physical abilitive
: ása nya ami khwa kwhu-a̪
: Asa is able (physically) to hoe fields
: Asa는 밭에 괭이질을 할 힘이 된다.
한편, 의무 양태를 행위주 중심 양태(agent-oriented modality)와 화자 중심 양태(speaker-oriented modality)로 나누기도 한다. 전자는 의무(obligation), 필연성(necessity), 능력(ability), 소망(desire), 의도(intention), 의지(willingness), 근원가능성(root possibility) 등을 표현하고, 후자는 명령(imperative), 금지(prohibitive), 기원(optative), 충고(hortatory), 경고(admonitive), 허락(permissive) 등을 표현한다.
분류 > 증거성

증거성(evidentiality) 또는 증거 양태(evidential modality)는 진술에 대한 화자의 근거나 진술 자체의 근원을 나타낸다. 넓은 의미에서 ‘누가 그러는데’, ‘reportedly’와 같은 표현도 증거성을 나타낸다고 볼 수 있으나, 엄밀하게 증거성은 (준)문법형태소로 실현되는 것만을 포함하여야 한다.
북아메리카의 중부 포모어는 증거성이 문법 범주로 존재하는 언어 중 하나이다.
| 증거성 의미 | 동사 | 한국어 뜻 |
| --- | --- | --- |
| 무표적 (거의 쓰이지 않음) | čʰéemul | 비가 왔다 |
| 앎 | čʰéemul-ʔma | 비가 왔다GEN.KNOW |
| 직접 보아서 앎 | čʰéemul-ya | 비가 왔다VIS |
| 소리를 들어서 앎 | čʰéemul-nme | 비가 왔다AUD |
| 전해 들어서 앎 | čʰéemul-ʔdo | 비가 왔다HSY |
| 추론하여 앎 (가령, 길이 젖은 것을 보고) | čʰéemul-ʔka | 비가 왔다INF |
같이 보기

양상 논리
양태 (기호학)
가능세계론
우장구 (사오관시)

우장구(한국어: 무강구, 중국어: 武江区, 병음: Wǔjiāng Qū)는 중화인민공화국 광둥성 사오관 시의 현급 행정구역이다. 넓이는 682km2이고, 인구는 2007년 기준으로 240,000명이다.