En matemáticas , las propiedades que son válidas para ejemplos "típicos" se denominan propiedades genéricas . Por ejemplo, una propiedad genérica de una clase de funciones es cierta para "casi todas" esas funciones, como en las afirmaciones "Un polinomio genérico no tiene raíz en cero" o "Una matriz cuadrada genérica es invertibles ." Como otro ejemplo, una propiedad genérica de un espacio es una propiedad que se cumple en "casi todos" los puntos del espacio, como en la afirmación: "Si f : M → N es una función suave entre variedades suaves , entonces un punto genérico de N no es un valor crítico de f ". (Esto es según el teorema de Sard ).
Hay muchas nociones diferentes de "genérico" (lo que se entiende por "casi todos") en matemáticas, con las correspondientes nociones duales de "casi ninguno" ( conjunto insignificante ); las dos clases principales son:
Hay varios ejemplos naturales en los que esas nociones no son iguales. [1] Por ejemplo, el conjunto de números de Liouville es genérico en el sentido topológico, pero tiene medida de Lebesgue cero. [2]
En la teoría de la medida , una propiedad genérica es aquella que se cumple en casi todas partes . El concepto dual es un conjunto nulo , es decir, un conjunto de medida cero.
En probabilidad, una propiedad genérica es un evento que ocurre casi con seguridad , lo que significa que ocurre con probabilidad 1. Por ejemplo, la ley de los grandes números establece que la media muestral converge casi con seguridad a la media poblacional. Esta es la definición en el caso de la teoría de la medida especializada en un espacio de probabilidad.
En matemáticas discretas , se usa el término casi todos para significar cofinito (todos menos un número finito), cocontable (todo menos un número contable), para números suficientemente grandes o, a veces, asintóticamente casi con seguridad . El concepto es particularmente importante en el estudio de gráficos aleatorios .
En topología y geometría algebraica , una propiedad genérica es aquella que se cumple en un conjunto abierto denso , o más generalmente en un conjunto residual (una intersección contable de conjuntos abiertos densos), siendo el concepto dual un conjunto denso cerrado en ninguna parte , o más generalmente un conjunto exiguo (una unión contable de conjuntos cerrados densos en ninguna parte).
Sin embargo, la densidad por sí sola no es suficiente para caracterizar una propiedad genérica. Esto se puede ver incluso en los números reales , donde tanto los números racionales como su complemento, los números irracionales, son densos. Como no tiene sentido decir que tanto un conjunto como su complemento exhiben un comportamiento típico, tanto los racionales como los irracionales no pueden ser ejemplos de conjuntos lo suficientemente grandes como para ser típicos. En consecuencia, nos basamos en la definición más estricta anterior, que implica que los irracionales son típicos y los racionales no.
Para las aplicaciones, si una propiedad se cumple en un conjunto residual , es posible que no se cumpla para todos los puntos, pero perturbarla ligeramente generalmente colocará a uno dentro del conjunto residual (en ninguna parte, densidad de los componentes del conjunto exiguo), y estos son, por lo tanto, los Caso más importante a abordar en teoremas y algoritmos.
Una propiedad es genérica en Cr si el conjunto que contiene esta propiedad contiene un subconjunto residual en la topología Cr . Aquí C r es el espacio funcional cuyos miembros son funciones continuas con r derivadas continuas de una variedad M a una variedad N.
El espacio C r ( M , N ), de asignaciones de C r entre M y N , es un espacio de Baire , por lo tanto, cualquier conjunto residual es denso . Esta propiedad del espacio funcional es lo que hace que las propiedades genéricas sean típicas .
Se dice que una propiedad de una variedad algebraica irreducible X es genéricamente verdadera si se cumple excepto en un subconjunto cerrado de Zariski adecuado de X , en otras palabras, si se cumple en un subconjunto abierto de Zariski no vacío. Esta definición concuerda con la topológica anterior, porque para variedades algebraicas irreducibles cualquier conjunto abierto no vacío es denso.
Por ejemplo, según el criterio jacobiano de regularidad, un punto genérico de una variedad sobre un campo de característica cero es suave. (Esta afirmación se conoce como suavidad genérica ). Esto es cierto porque el criterio jacobiano se puede utilizar para encontrar ecuaciones para los puntos que no son suaves: son exactamente los puntos donde la matriz jacobiana de un punto de X no tiene rango completo. . En la característica cero, estas ecuaciones no son triviales, por lo que no pueden ser verdaderas para todos los puntos de la variedad. En consecuencia, el conjunto de todos los puntos no regulares de X es un subconjunto cerrado de Zariski propio de X.
Aquí hay otro ejemplo. Sea f : X → Y una aplicación regular entre dos variedades algebraicas. Para cada punto y de Y , considere la dimensión de la fibra de f sobre y , es decir, tenue f −1 ( y ). Genéricamente, este número es constante. No es necesariamente constante en todas partes. Si, digamos, X es la ampliación de Y en un punto y f es la proyección natural, entonces la dimensión relativa de f es cero excepto en el punto ampliado, donde es tenue Y - 1.
Se dice que algunas propiedades se mantienen de manera muy genérica . Con frecuencia, esto significa que el campo fundamental es incontable y que la propiedad es verdadera excepto en una unión contable de subconjuntos cerrados de Zariski adecuados (es decir, la propiedad se cumple en un conjunto G δ denso ). Por ejemplo, esta noción de muy genérico ocurre cuando se considera la conectividad racional . Sin embargo, otras definiciones de muy genérico pueden ocurrir y ocurren en otros contextos.
En geometría algebraica , un punto genérico de una variedad algebraica es un punto cuyas coordenadas no satisfacen ninguna otra relación algebraica que las que satisface cada punto de la variedad. Por ejemplo, un punto genérico de un espacio afín sobre un campo k es un punto cuyas coordenadas son algebraicamente independientes sobre k .
En teoría de esquemas , donde los puntos son las subvariedades, un punto genérico de una variedad es un punto cuyo cierre para la topología de Zariski es la variedad completa.
Una propiedad genérica es una propiedad del punto genérico. Para cualquier propiedad razonable, resulta que la propiedad es verdadera genéricamente en la subvariedad (en el sentido de ser verdadera en un subconjunto denso abierto) si y sólo si la propiedad es verdadera en el punto genérico. Estos resultados se prueban frecuentemente utilizando los métodos de límites de esquemas afines desarrollados en EGA IV 8.
Un concepto relacionado en geometría algebraica es posición general , cuyo significado preciso depende del contexto. Por ejemplo, en el plano euclidiano, tres puntos en posición general no son colineales . Esto se debe a que la propiedad de no ser colineal es una propiedad genérica del espacio de configuración de tres puntos en R 2 .
En computabilidad y aleatoriedad algorítmica , una cadena infinita de números naturales se llama 1-genérico si, para cada conjunto ce , tiene un segmento inicial en , o tiene un segmento inicial tal que cada extensión no esté en W. Los 1-genéricos son importantes en computabilidad, ya que muchas construcciones se pueden simplificar considerando un 1-genérico apropiado. [3] Algunas propiedades clave son:
1-genericidad está relacionada con la noción topológica de "genérico", de la siguiente manera. El espacio de Baire tiene una topología con conjuntos abiertos básicos para cada cadena finita de números naturales . Entonces, un elemento es 1-genérico si y sólo si no está en el límite de ningún conjunto abierto. En particular, se requieren 1-genéricos para cumplir con todos los conjuntos abiertos densos (aunque esta es una propiedad estrictamente más débil, llamada 1-genérico débil ).
![{\displaystyle [\sigma ]=\{f:\sigma \preccurlyeq f\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0cde123c685bae9ad3c2d4dde21f6aa2205e81e)
