# Geometría digital

La geometría digital trata con conjuntos discretos (generalmente conjuntos de puntos discretos) considerados modelos digitalizados o imágenes de objetos del espacio euclidiano 2D o 3D. En pocas palabras, digitalizar es reemplazar un objeto por un conjunto discreto de sus puntos. Las imágenes que vemos en la pantalla del televisor, la pantalla de trama de una computadora o en los periódicos son, de hecho, imágenes digitales.
Sus principales áreas de aplicación son la infografía y el análisis de imágenes .
Los principales aspectos de estudio son:
* Construir representaciones digitalizadas de objetos, con énfasis en la precisión y la eficiencia (ya sea mediante síntesis, véase, por ejemplo, el algoritmo de líneas de Bresenham o los discos digitales, o mediante la digitalización y posterior procesamiento de imágenes digitales).
* Estudio de propiedades de conjuntos digitales; véase, por ejemplo, el teorema de Pick, la convexidad digital, la rectitud digital o la planaridad digital.
* Transformar representaciones digitalizadas de objetos, por ejemplo (A) en formas simplificadas como (i) esqueletos, mediante la eliminación repetida de puntos simples de manera que la topología digital de una imagen no cambie, o (ii) eje medial, mediante el cálculo de máximos locales en una transformación a distancia de la representación del objeto digitalizado dado, o (B) en formas modificadas usando morfología matemática.
* Reconstruir objetos "reales" o sus propiedades (área, longitud, curvatura, volumen, área de superficie, etc.) a partir de imágenes digitales.
* Estudio de curvas digitales, superficies digitales y variedades digitales.
* Diseño de algoritmos de seguimiento de objetos digitales.
* Funciones en el espacio digital.
* Dibujo de curvas, un método para dibujar una curva píxel por píxel.
La geometría digital se superpone en gran medida con la geometría discreta y puede considerarse parte de la misma.

## Espacio digital

Un espacio digital 2D generalmente significa un espacio de cuadrícula 2D que solo contiene puntos enteros en el espacio euclidiano 2D. Una imagen 2D es una función en un espacio digital 2D (Ver procesamiento de imágenes).
En el libro de Rosenfeld y Kak, la conectividad digital se define como la relación entre elementos en el espacio digital. Por ejemplo, conectividad 4 y conectividad 8 en 2D. Consulte también conectividad de píxeles. Un espacio digital y su conectividad (digital) determinan una topología digital.
En el espacio digital, se propusieron, de forma independiente, la función digitalmente continua (A. Rosenfeld, 1986) y la función gradualmente variada (L. Chen, 1989).
Una función digitalmente continua significa una función en la que el valor (un número entero) en un punto digital es el mismo o está desfasado en 1 como máximo de sus vecinos. En otras palabras, si x e y son dos puntos adyacentes en un espacio digital, | f ( x ) − f ( y )| ≤ 1.
Una función gradualmente variada es una función de un espacio digital $\Sigma$ a $\{A_{1},\dots ,A_{m}\}$ dónde $A_{1}<\cdots <A_{m}$ y $A_{i}$ son números reales. Esta función posee la siguiente propiedad: Si x e y son dos puntos adyacentes en $\Sigma$, asumir $f(x)=A_{i}$, entonces $f(y)=A_{i}$, $f(x)=A_{i+1}$, o $A_{i-1}$ . Entonces podemos ver que la función gradualmente variada se define como más general que la función digitalmente continua.
Un teorema de extensión relacionado con las funciones anteriores fue mencionado por A. Rosenfeld (1986) y completado por L. Chen (1989). Este teorema establece: Sea $D\subset \Sigma$ y $f:D\rightarrow \{A_{1},\dots ,A_{m}\}$ . La condición necesaria y suficiente para la existencia de la extensión progresivamente variada $F$ de $f$ es: para cada par de puntos $x$ y $y$ en $D$, asumir $f(x)=A_{i}$ y $f(y)=A_{j}$, tenemos $|i-j|\leq d(x,y)$, dónde $d(x,y)$ es la distancia (digital) entre $x$ y $y$ .