DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Ziegler, Martin | - |
dc.contributor.advisor | 마틴 지글러 | - |
dc.contributor.author | Seon, Dongseong | - |
dc.date.accessioned | 2021-05-11T19:34:10Z | - |
dc.date.available | 2021-05-11T19:34:10Z | - |
dc.date.issued | 2019 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=875464&flag=dissertation | en_US |
dc.identifier.uri | http://hdl.handle.net/10203/283088 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학부, 2019.8,[iii, 19 p. :] | - |
dc.description.abstract | Define integral: $\mathcal{C}(X) \rightarrow \mathbb{R}$ to be a functional $f \mapsto \int_X f d\mu$ with a Borel probability measure $\mu$. Then, the usual Riemann integral on [0,1] is an integral on [0,1] with the Borel probability measure on the real line. This integral on [0,1] is known to be computable, and its complexity was analyzed. After that, more generally it is known that, on some spaces, an integral is computable if and only if its corresponding measure is computable. Consequently, to actually compute natural integrals on spaces, one should compute natural measures. Arguably, Haar measures can be seen as natural measures. This is because Haar's theorem states that for any compact topological group, there exists a unique Haar probability measure which is translation-invariant and regular. Thus, to compute natural integrals, we consider Haar measures to be natural and prove that these measures are computable. Another motivation to prove computability of Haar measures is that proving that Haar measures are computable can be interpreted as proving a computable version of Haar's theorem. In this paper, we prove that Haar integrals (integrals with their Haar measures) are computable under computable version of assumptions of Haar's theorem. Moreover, we prove computability, analyze complexity, and implement the Haar integral on arguably the most important compact topological group $\mathcal{SO}(3)$. | - |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | 정확한 실수 연산▼a계산해석학▼a하 측도▼a하 적분▼a하 정리▼a3차원 특수직교군▼a옹골찬 거리군 | - |
dc.subject | Exact real computation▼acomputable analysis▼ahaar measure▼ahaar integral▼ahaar's theorem▼a3D rotation group▼acompact metric group | - |
dc.title | Computing haar integrals | - |
dc.title.alternative | 하 적분의 계산 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 325007 | - |
dc.description.department | 한국과학기술원 :전산학부, | - |
dc.contributor.alternativeauthor | 선동성 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.