Processing math: 100%

5 votos

¿Existe una forma sencilla de detectar de qué generación es un archivo MrSID?

Acabo de descubrir que hay algunos tipos de archivos MrSID - generaciones MG2,MG3,MG4. Como tengo un usuario que utiliza Bentley Microstation V8 y aparentemente sólo puede ver algunas de las generaciones (y por lo tanto necesito convertir entre las diferentes generaciones)- quería saber si hay una manera rápida de detectar qué generación es un archivo SID (tengo AutoCAD 2007, ArcGIS 9.3.1)?

Gracias de antemano.

5voto

Hameno Puntos 129

Para ver que el número de relaciones de equivalencia en un conjunto infinito A de tamaño κ es 2κ=|P(A)| (es decir, el mayor tamaño posible), recordemos que cualquier conjunto de tamaño κ puede dividirse en κ conjuntos de tamaño κ : κ=κ×κ . Diga A tiene tamaño κ . Fijar una partición A=iIAi , donde I es un conjunto de índices de tamaño κ Cada uno de ellos Ai tiene tamaño κ y AiAj= si ij . Además, para cada Ai , encontrar una partición Ai=BiCi donde cada Bi,Ci no está vacío.

Dado DI , dejemos que ED sea la relación de equivalencia en A definidos de la siguiente manera:

Si iD entonces Bi y Ci son clases de equivalencia. Si iI no está en D entonces el conjunto de Ai es una clase de equivalencia.

Más concretamente, en caso de que la descripción anterior no esté clara: aEDb para a,bA si ambos a,b están en el mismo Ai (para algunos -únicos- iI ) y (si iD entonces ambos a,b están en Bi o ambos están en Ci ).

Entonces, desde ED podemos reconstruir D , por lo que el mapa f:P(I)E , donde E es el conjunto de relaciones de equivalencia en A dado por f(D)=ED es inyectiva, y |E|2κ .

(De hecho, para que esta desigualdad se cumpla, lo único que necesitamos es que 2×κ=κ : Podríamos haber tomado cada Ai de tamaño 2 y cada Bi,Ci un único individuo. Sin embargo, el argumento siguiente utiliza ese κ×κ=κ .)

Como cada clase es un subconjunto de A×A y las diferentes clases son disjuntas, cada relación de equivalencia tiene como máximo κ=|A| (no puede tener más clases que elementos de A ), y cada clase se elige entre P(A×A) por lo que hay como máximo κ×2|κ×κ|=2κ relaciones de equivalencia.

Se deduce que el número de relaciones de equivalencia es 2κ como se ha reclamado.

Como cada relación de equivalencia es simétrica, esto también demuestra que hay precisamente 2κ relaciones simétricas en A si |A|=κ .


Permítanme terminar con una observación técnica: Si A es contable (por lo que κ se suele denominar 0=|N|=|Z| ), la igualdad κ=κ×κ y la igualdad κ2κ=2κ puede verificarse sin utilizar el axioma de elección. Lo mismo si A tiene el tamaño de los reales (así que κ se suele denominar c o 20=|P(N)| ).

Sin embargo, para un infinito arbitrario A las igualdades requieren el axioma de elección. No he comprobado cuál es el número de relaciones de equivalencia para un infinito arbitrario A es si la elección falla. No creo que sea 2|A| en general.

5voto

Hugo Puntos 2156

gdalinfo también le dirá la misma información con una etiqueta VERSION.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X