검색 결과

== 수학적 설명 == 베이즈 추론에서는 추론 대상 <math>\theta</math>에 대하여, <math>\theta</math>에 대한 [[사전 확률]] <math>p(\theta) ...

'''UVW 매핑'''({{lang|en|UVW mapping}})은 [[좌표 매핑]]을 위한 수학적 기법이다. [[컴퓨터 그래픽스]]에서 <math>\mathbb{R}^{2}</math>를 <math>\mathbb{R}^{2}</mat ...point)은 물체 표면의 점에 일치시킨다. 그래픽 디자이너나 프로그래머는 특정한 수학 함수를 만들어 맵을 구현하며, 텍스처의 점들은 대상 표면의 XYZ 점들에 할당된다. 즉, 래핑되지 않은 폴리곤들이 정연될수록 [[텍스처 아티스트]]가 텍스처에 세세한 부분을 칠하기 더 쉬 ...

...'''({{llang|en|equality}}) 또는 '''상등'''(相等)은 둘 또는 그 이상의 [[수식|식]]이 동일한 [[수학적 대상]]임을 나타내는 [[관계 (수학)|관계]]이다. 대상을 [[등호]] '='로 연결해 그들의 같음을 표현하는 관계식을 '''등식'''({ ...

[[수학]]에서 '''사상'''(寫像, {{문화어|살, 범사}}, {{llang|en|morphism|모피즘}})은 [[수학적 구조]]를 보존하는 [[함수]]의 개념을 추상화한 것이다. [[범주 (수학)|범주]] <math>C</math>는 '대상'의 [[모임 (집합론)|모임]] <math>\mathrm{ob}(C)</math>와 '사상'의 모임 <math>\hom(C)</math ...

수학적 예를 들면, 어떤 집합 <math>U</math>를 집합 <math>A, B, C</math>로 나누었을 때 아래 조건들을 모두 만족한 WBS 개발, 상품 기획, 각종 조사 대상 품목 선정 등에서 요인을 빠짐없이 검토해보고 싶을 때 MECE에 따른 분류를 자주 사용한다. 예를 들면 새로운 상품을 기획하는 경우 상 ...

...'동일한'이라는 뜻의 그리스어 ''homos''에서 나옴)는 ([[위상 공간 (수학)|위상 공간]]이나 [[군 (수학)|군]] 등의) 수학적 대상에 [[아벨 군]]이나 [[가군|모듈]]의 [[수열|열]]을 대응시키는 일반적인 과정이다. 이를 중심적으로 연구하는 대수의 분야를 전체적인 과정은 다음과 같다. 먼저 대상 <math>X</math>에 대해, <math>X</math>에 대한 정보를 포함하는 [[사슬 복합체]]를 정의해야 한다. 사슬 복합체 ...

수학에서, '''변형 함자'''(變形函子, {{llang|en|deformation functor}})는 어떤 수학적 대상의 변형을 나타내는 [[함자 (수학)|함자]]이다. 이러한 함자의 연구를 '''변형 이론'''(變形理論, {{llang|en|def * <math>\operatorname{LocArt}_k</math>의 대상 <math>i\colon k\to A</math>은 <math>k</math>를 [[정의역]]으로, 어떤 [[국소환|국소]] [[아르틴 ...

...us space}})이란 그 [[자기 동형군]]이 [[추이적 작용|추이적으로 작용]]하는 [[공간]]이다. 여기서 ‘공간’이란 다루는 수학적 구조에 따라 다른데, [[위상 공간 (수학)|위상 공간]], [[매끄러운 다양체]], 또는 [[리만 기하학|리만 다양체]] 등이 될 수 ...>가 주어졌다고 하자. 그렇다면, 그 속의 [[군 대상]]의 개념을 정의할 수 있다. <math>\mathcal C</math> 속의 대상 <math>X</math>가 다음 조건을 만족시킨다면, 이를 '''동차 공간'''이라고 한다. ...

...×&nbsp;10²⁹라는 엄청난 수에 달하며 컴퓨터 상으로 계산하는 것은 매우 힘들어진다. 신뢰전파를 이용함으로써 대상 확률변수의 그래프 구조를 이용함으로써 주변분포의 계산을 보다 효율적으로 실행할 수 있다. ...의 계산은 인접해있는 모든 인자 그래프의 곱을 취하는 것으로 표현할 수 있다 (그러나 대상 인자노드에서 온 메시지는 제외된다. 이것은 대상 인자노드에서는 메시지로 '''1'''을 보냈다고 간주하여도 무난하다): ...

...]]을 임의로 확장할 수 있는 대상이다. [[단사 가군]]의 개념을 일반화한 개념이다. 마찬가지로, 이에 대한 쌍대 개념인 '''사영 대상'''(射影對象, {{llang|en|projective object}})은 이 대상을 [[정의역]]으로 삼는 [[사상 (수학)|사상]] [[범주 (수학)|범주]] <math>\mathcal C</math>의 '''단사 대상'''은 다음 성질을 만족하는 대상 <math>Q\in\operatorname{ob}(\mathcal C)</math>이다. ...

* [[범주 (수학)|대상]](꼭지점이라고도 함) * 그림의 가환성(두 대상 간의 서로 다른 사상 구성의 동등성), 부분순서집합 범주의 두 대상 간 사상의 유일성에 해당한다. ...

...]에서 '''모리타 문맥'''([森田]文脈, {{llang|en|Morita context}})은 두 개의 [[쌍가군]]으로 정의되는 수학적 구조이며, 이를 사용하여 '''모리타 환'''([森田]環, {{llang|en|Morita ring}})이라는, 2×2 행렬들로 구성된 * <math>R</math>와 <math>S</math>는 <math>\mathcal C</math>의 대상(=0-사상)이다. ...

...'''모임''' 또는 '''클래스'''({{llang|en|class}})는 특정한 성질을 만족하는 [[집합]](혹은 그 외의 수학적 대상)을 모은 것이다. 모임은 지나치게 커서 집합이 아닐 수 있으며, 이렇게 집합이 아닌 모임을 '''고유 모임'''(固有모임, {{llan ...

...''으로 구성된 수학적 구조이며 대상들의 쌍의 경우 대상들 사이의 ''[[사상 (수학)|사상]]''들의 집합이다. 대상은 어떤 종류의 수학적 구조(예: [[집합]], [[벡터 공간]] 또는 [[위상 공간 (수학)|위상 공간]])이고 사상은 이러한 대상들 사이의 [[함수]]이다 ...의 한 분야 인 심플렉틱 기하학을 사용하여 구성된다. 심플렉틱 기하학은 2차원 예에서 [[넓이|면적]]을 계산하는 데 사용할 수 있는 수학적 도구인 [[심플렉틱 벡터 공간|심플렉틱 형식]]을 갖춘 공간을 연구한다.<ref>Zaslow 2008, p. 531</ref> ...

== 수학적 진술 == ...nt Developments in Mathematics, 2012(1), pp.133-191.</ref> 이 진술은 거울 대칭의 위상 수학적 그림을 강조하지만 거울 쌍의 복잡하고 대칭적인 구조 사이의 관계를 정확하게 특성화하지 않거나 관련된 [[리만 다양체|리만 계량]]을 참 ...

...에서 '''자기 동형''' 또는 '''자기 동형 사상'''(自己同型寫像, {{Llang|en|automorphism}})은 [[수학적 대상]]의 [[자기 사상]]인 [[동형 사상]]이다. 대상의 모든 구조를 유지하면서 대상을 자기 자신으로 사상하므로 이는 대상의 [[대칭]] [[국소적으로 작은 범주]] <math>\mathcal C</math>에서 대상 <math>X</math>의 자기 동형 사상들은 사상의 합성에 대하여 [[군 (수학)|군]]을 이룬다. 이 군에서, [[항등원]]은 항 ...

...현가능하다. 이 공리는 부정에 대한 도입 규칙이며 ([[부정 도입]] 참조) 때때로 명명되어 이 관계를 분명하게 한다. 이것은 연관된 수학적 증명 기법인 [[귀류법]]({{llang|en|proof by contradiction}})의 결과이다. ...Richard|website=ThoughtCo|language=en|access-date=2019-11-27}}</ref>) 에 의한 수학적 증명이며, 전제의 부정이 [[모순|논리적 모순]]으로 이어지리라는 것을 논증하고 있다 ("가장 작은" 수가 있고 그것보다 작은 수가 또 ...

...(順序雙, {{llang|en|ordered pair}})이란 두 개의 [[수학적 대상]]을 순서를 정하여 짝지어 나타낸 쌍이다. 두 대상 ''a'', ''b''로부터 순서를 생각하여 만든 쌍을 흔히 (''a'', ''b'')로 적는다. 이는 ''a''와 ''b''가 같지 ...

...{llang|en|spectral sequence}})은 어떤 [[호몰로지]] 또는 [[코호몰로지]]에 대한 일련의 근사들을 나타내는 수학적 대상이다. * 모든 <math>r\ge r_0</math>에 대하여, <math>\mathcal C</math>의 대상 <math>E_r^{p,q}</math> ...

Davis는 「구성적」에 대하여 「실제로 특정조건을 충족하는 수학적 실체가 존재한다는 증명은, 명시적으로 문제의 실체를 나타내는 방법을 제공할 필요가 있을 것이다」(p. 85)라고 여겼다. 그러한 증명은 ...용하는 예를 보였다. 힐베르트의 예는 「소수(素数)는 유한개인가 무한개인가」(Davis 2000:97)이며, 브라우어르의 예는 「모든 수학적 종(種)은 유한인가 무한인가」(Brouwer 1923 in van Heijenport 1967:336)이다. ...