Sur les variétés et les réseaux à

11

EDIT (Par Tara B): Je serais toujours intéressé par une référence à une preuve de cela, car je devais le prouver moi-même pour mon propre papier.

Je cherche la preuve du Théorème 4 qui apparaît dans cet article:

Une hiérarchie infinie d'intersections de langues sans contexte par Liu et Weiner.

Théorème 4: Une variété affine à dimensions n'est pas exprimable comme une union finie de variétés affines dont chacune est de dimension n - 1 ou moins.nn1

  1. Quelqu'un connaît-il une référence à la preuve?
  2. Si la variété est finie et que nous définissons un ordre naturel sur les éléments, y a-t-il une déclaration similaire en termes de réseaux?

Quelques informations pour comprendre le théorème:

Définition: Soit l'ensemble des nombres rationnels. Un sous - ensemble M Q n est un collecteur affine si ( λ x + ( 1 - λ ) y ) M lorsque x M , y M , et λ Q .QMQn(λx+(1λ)y)MxMyMλQ

Définition: Une variété affine est dite parallèle à une variété affine M si M = M + a pour certains a Q n .MMM=M+aaQn

Théorème: manifold Chaque affine non vide est parallèle à un sous - espace unique de K . Ce K est donné par K = { x - y : x , y M }MQnKKK={xy:x,yM}

Définition: La dimension d'une variété affine non vide est la dimension du sous-espace qui lui est parallèle.


Marcos Villagra
la source
Je sais que c'est une question assez ancienne, mais je viens de la rencontrer aujourd'hui et je voulais simplement vous demander si vous lisiez ce document pour une raison particulière? (Il se trouve que cela est très étroitement lié à certaines de mes recherches.)
Tara B

Réponses:

5

Intuitivement, le théorème dit qu'une ligne n'est pas une union finie de points, un plan n'est pas une union finie de lignes, etc. La preuve la plus simple est d'observer, par exemple, qu'une union finie de lignes a une aire nulle, alors qu'un l'avion ne fonctionne pas.

RnMQnAx=bRn

dd1ddd

FdFn|F|d|F|d/|F|d1=|F|d1d

David
la source
Merci!! cela répond aux deux questions. Ce que j'ai (très clairement) voulu dire dans la deuxième question était "que se passerait-il si au lieu d'une variété affine nous avions un ensemble convexe fini". Mais encore, votre réponse a dissipé mes doutes.
Marcos Villagra
6

F

n0AFmnn

n=0

nn+1A=i<kAidim(A)=n+1dim(Ai)nBAnB=i(BAi)dim(BAi)=ni<kB=AikAiBAnB0vAB0AB0+avaF

Emil Jeřábek
la source
belle preuve alternative!
Marcos Villagra
2
Non, c'est la preuve et l'autre est alternative car elle traîne dans la théorie de la mesure :-)
Andrej Bauer
Ahhh je vois, bon point
Marcos Villagra