Asioma

Da Wikipedia, l'ençiclopedia libara.
Va a: navigasion, serca

Un asioma xe un principio generàe che, a difarènsa dei teoremi o dee proposisiòn, no và dimostrà parchè vièn considerà sempre vèro (se tolto in te l'ambito che'l riguarda). Pa sto motivo i asomi xe usà in matematica come premesa pa sviùppi de teorie, 'e quai riva a conclusiòn pì complesse, che reputemo vère in virtù de tute e dimostrasiòn che, diretamente o indiretamente, usa i asiomi pa verificarse vere.

Exenpi[canbia | canbia sorxente]

Asiomi de Peano[canbia | canbia sorxente]

Par definire l'insieme \mathbb{N} dei numàri naturałi xe necesàri dò conceti primitivi e il principio de indusiòn. Sti 3 i forma i asiomi de Peano:

  1. \mathbb{N} ga n'ełemento ciamà 0 (xèro).
  2. Ghe xe na funsiòn s:\mathbb{N}\rightarrow\mathbb{N}, dèta sucesìvo, che ła xe iniètiva e tałe che s ( \mathbb{N} ) = \mathbb{N} \backslash \{ 0\}.
  3. Se 0\in M \subseteq \mathbb{N} e se par ogni n\in M anca s(n)\in M, eora M=\mathbb{N} (principio de indusiòn).

Postułati de Euclide[canbia | canbia sorxente]

On termine oncò equivałente a "assioma" xe "postulato" [1]. I piłastri de ła giometria euclidèa xe pasà ała storia come postułati de Euclide:

  1. Par dò ponti se poe tirar una e na soła linea rèta.
  2. Un segmento el poe esare slongà al'infinìo.
  3. Co te ghè on ponto ("sèntro") e na distànsa ("rajo") te poi tirar su on sercio.
  4. Tuti i angołi rèti i xe compagni tra de łori.
  5. Tirando na linea rèta che ghe ne taja altre dò, se da na parte ła xonta dei angoli interni xe manco de dò volte l'angoło rèto, eora da chea parte e dò linee rète e se incroxa.

Nòte[canbia | canbia sorxente]

  1. (IT) vd Le parole della matematica (S. Nicosia, CEDAM, 1998): "Oggi il termine assioma è utilizzato come sinonimo di postulato. In Euclide [...] il termine postulato è specifico della geometria, mentre con assioma si indica una proprietà non dimostrata che riguarda tutte le discipline"