Vocabulario de lgebra

Christian Vila Vilchez

5to

102

Axioma
En lgica matemtica, un axioma no es necesariamente una verdad evidente, sino una expresin lgica
utilizada en una deduccin para llegar a una conclusin. En matemtica se distinguen dos tipos de
axiomas: axiomas lgicos y axiomas no-lgicos.
1.

2.
3.

Corolario
Se llamar corolario a una afirmacin lgica que sea consecuencia inmediata de un teorema, pudiendo
ser demostrada usando las propiedades del teorema previamente demostrado

Sea
base con
. Entonces cualquier subconjunto linealmente independiente de V con n
elementos, es una base de V.
Demostracin.con n n
base de V.

Sea

linealmente independiente y con

elementos (es decir,

), tal que

. Por el teorema, existe

S1

genera a V. Por lo tanto S es una

Postulado
Se toma como punto de partida para la demostracin de teoremas dentro de un sistema axiomtico, sin
que se trate de una proposicin deducible de otros enunciados.
Existen infinitos puntos
Existen infinitos nmeros

Lema
Es una afirmacin que forma parte de un teorema ms largo. Por supuesto, la distincin entre teoremas y
lemas es arbitraria. El Lema de Gauss y el Lema de Zorn, por ejemplo, son considerados demasiado
importantes per se para algunos autores, por lo cual consideran que la denominacin lema no es
adecuada.

Variable
Una variable es un simbolo que representa un elemento no especificado de un conjunto dado. Dicho
conjunto es llamado conjunto universal de la variable, universo o dominio de la variable, y cada elemento
del conjunto es un valor de la variable
Sea x una variable cuyo universo es el conjunto {1,3,5,7,9,11,13}; entonces x puede tener cualquiera de
esos valores: 1,3,5,7,9,11,13. En otras palabras x puede reemplazarse por cualquier entero positivo
impar menor que 14.

Parmetro
Un valor que ya est "incluido" en una funcin.
Los Parmetros pueden ser cambiados para que la funcin pueda ser usada para otras cosas.
Si una funcin que calcula la altura de un rbol es h(aos) = 20 aos, entonces "aos" es una variable
y "20" es un parmetro
un rbol diferente puede tener una tasa de crecimiento de 30 cm por ao, y su funcin sera h(aos) =
30 aos

Incgnita
Una incgnita es, esencialmente, algo que desconocemos. Particularmente en lgebra y sus derivadas,
una "incgnita", es una variable cuyo valor no conocemos a prioridad, y cuyo valor va a ser
eventualmente determinado; la forma de fijar o encontrar esa "incognita" es una ecuacin como por
ejemplo:
X(5 + 3) 6 + 2 + 1 + 10 + 2:1 = 8 ; x = 1
x + 5 = 11 ; x = 6

Anillo
En lgebra, un anillo es una estructura algebraica formada por un conjunto y dos operaciones que estn
relacionadas entre s mediante la propiedad distributiva, de manera que generalizan las nociones de
nmero, especialmente en el sentido de su "operabilidad".
1.

(clausura).

2.

(conmutatividad).

Campo o cuerpo
En lgebra abstracta, un cuerpo es una estructura algebraica en la cual las operaciones de adicin y
multiplicacin se pueden realizar y cumplen las propiedades asociativa, conmutativa y distributiva,
adems de la existencia de un inverso aditivo y de un inverso muliplicativo, los cuales permiten efectuar
la operaciones de substraccin y divisin (excepto la divisin por cero); estas propiedades ya son
familiares de la aritmtica de nmeros ordinarios.

Igualdad
Dos objetos matemticos son considerados iguales si tienen precisamente el mismo valor. Esto define un
predicado binario, igualdad, y si slo si x e y son iguales. Una equivalencia en sentido general viene dada
por la construccin de una relacin de equivalencia entre dos elementos. Un enunciado en que dos
expresiones denotan cantidades iguales es una ecuacin.
Sean dos entidades matemticas x e y:
x = y si y slo si x es igual a y.
Identidades: se cumplen para todos los valores permisibles de la variable, por ejemplo:
( x - 4 ) = x-8x+16 es una identidad algebraica que se cumple para todos los valores de x.

Identidad
Es la igualdad entre expresiones algebraicas que se verifica numricamente para cualquier valor de
alguna variable de las tantas que intervienen.
Por ejemplo, xm + xn = x(m + n) es una identidad porque cualesquiera que sean los valores que se le
asignen a las variables x, m y n, se cumple la igualdad numrica. As, para x = 2, m = 5, n = 3,
xm + xn = 25 + 23 = 10 + 6 = 16
x(m + n) = 2(5 + 3) = 28 = 16

Congruencia
Es un trmino usado en la teora de nmeros, para designar que dos nmeros enteros a y b tienen el
mismo resto al dividirlos por un nmero natural m, llamado el mdulo; esto se expresa utilizando la
notacin

que se expresa diciendo que a es congruente con b mdulo m. Las siguientes expresiones son
equivalentes:

a Es congruente con b mdulo m

El resto de a entre m es el resto de b entre m

Semejanza
Es una aplicacin entre dos espacios mtricos que modifica las distancias entre dos puntos cualesquiera
multiplicndolas por un factor fijo. En el caso de los espacios eucldeos, por ejemplo, es la composicin de
una isometra y una homotecia. Intuitivamente, es una transformacin que puede cambiar el tamao y la
orientacin de una figura pero no altera su forma.
En geometra hay semejanza de tringulos

Correspondencia
En una correspondencia podemos distinguir distintos conjuntos:

Conjunto inicial: es el primero de la correspondencia, es este caso X, lo representaremos: in(f),

segn el ejemplo:

Dados dos conjuntos: A e B, y un grafo f, que determina alguna Relacin binaria entre elementos de A
con algunos elementos de B, diremos que ese grafo: f, define una correspondencia entre A e B, que
representaremos:

cuando al menos un elemento de A est relacionado con al menos un elemento de B.

Relacin
Una relacin

, de los conjuntos

es un subconjunto del producto cartesiano

Una Relacin binaria es una relacin entre dos conjuntos.

El concepto de relacin implica la idea de correspondencia entre los elementos de los conjuntos que
forman tuplas.

Un caso particular es cuando todos los conjuntos de la relacion son iguales:

en este caso se representa
como
, pudiendose decir que la relacin pertenece
a A a la n.

Funcin
Una funcin es una relacin entre dos variables numricas, habitualmente las denominamos x e y; a una
de ellas la llamamos variable dependiente pues depende de los valores de la otra para su valor, suele ser
la y; a la otra por tanto se la denomina variable independiente y suele ser la x.
Pero adems, para que una relacin sea funcin, a cada valor de la variable independiente le corresponde
uno o ningn valor de la variable dependiente, no le pueden corresponder dos o ms valores.

Aplicacin
Dados dos conjuntos: X, Y; una relacin f, que determina una correspondencia matemtica entre todos
los elementos de X con los elementos de Y, diremos que esa relacin: f, define una Aplicacin
matemtica entre X e Y, que representaremos:

Cuando:

1.
2.
3.

todos los elementos de X est relacionado con elementos de Y.

cada elemento de X, esta relacionado con un nico elemento de Y.

Transcendente

La trascendencia se refiere a ir ms all de algn lmite. Generalmente el lmite es el espacio-tiempo, lo

que solemos considerar como mundo o universo fsico. Trascendencia entonces adquiere el sentido de ir
allende de lo natural tanto en el conocimiento como en la vida de una persona, alma e inmortalidad; o de
una institucin que pretende tener un carcter sempiterno, como una ciudad, civilizacin, cultura.
Adquiere entonces un carcter de finalidad que ha de cumplirse como "lo ms importante", "lo esencial",
por lo que se convierte en el fundamento de la accin y el sentido de todo lo que se hace.
Esto es de especial relevancia respecto a la creencia en la inmortalidad del alma y en un Juicio Final, en
definitiva en la creencia en Dios, que se convierte as en el objeto fundamental de la dimensin de lo
trascendente.
En matemticas, trascendente tiene un significado especial.