Naslov
Computable transition points

Autori
Iljazović, Zvonko ; Pažek, Bojan

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni

Izvornik
11th International Conference on Computability and Complexity in Analysis, Proceedings / Brattka, Vasco ; Ziegler, Martin - , 2014, 29-30

Skup
Eleventh International Conference on Computability and Complexity in Analysis

Mjesto i datum
Darmstadt, Njemačka, 21.07.2014. - 24.07.2014

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
computable metric space ; computably enumerable open set ; computable compact set ; computable point ; chainable continuum

Sažetak
Suppose $(X, d, \alpha)$ is a computable metric space. Let $U$ and $V$ be disjoint and computably enumerable open sets and let $K$ be a computable compact set in this space. Let $S=X\setminus (U\cup V)$. Suppose $K$ is a continuum chainable from $a$ to $b$, where $a$ and $b$ are computable points, $a\in U$, $b\in V$. We prove the following: if $K\cap S$ is totally disconnected, then $K\cap S$ contains a computable point.

Izvorni jezik
Engleski

Znanstvena područja
Matematika, Računarstvo

POVEZANOST RADA