Propiedades de los Conjuntos

Sean los conjuntos ,A ,B C dentro del universo U . Las seis propiedades que rigen las operaciones con esos conjuntos son las siguientes:

Operaciones con Conjuntos

Dr. Jos Manuel Becerra Espinosa - Teoria de Conjuntos. http://www.fca.unam.mx/docs/apuntes_matematicas/01.%20Teoria%20de%20Conjuntos.pdf 26/ 10/2012

Union
La unin de los conjuntos A y B es el conjunto de todos los elementos de A con todos los elementos de B sin repetir ninguno y se denota como A B . Esto es:

Interseccion
La interseccin de los conjuntos A y B es el conjunto de los elementos de A que tambin pertenecen a B y se denota como A B . Esto es:

Dos conjuntos son ajenos o disjuntos cuando su interseccin es el conjunto vaco, es decir, que no tienen nada en comn. Por ejemplo:

Complemento
El complemento del conjunto A con respecto al conjunto universal U es el conjunto de todos los elementos de U que no estn en A y se denota como 'A . Esto es:

Diferencia
La diferencia de los conjuntos A y B (en ese orden) es el conjunto de los elementos que pertenecen a A y no pertenecen a B y se denota como A B . Esto es:

Jerarquia de las operaciones

1. Efectuar las operaciones entre parntesis, corchetes y llaves. 2. Calcular las potencias y races . 3. Efectuar los productos y cocientes . 4. Realizar las sumas y restas .

Tipos de operaciones combinadas 1. Operaciones combinadas sin parntesis

1.1 Combinacin de sumas y diferencias.

9 - 7 + 5 + 2 -6 + 8 - 4 =

Comenzando aparecen.

por

la

izquierda,

vamos

efectuando

las

operaciones

segn

= 9 - 7 + 5 + 2 -6 + 8 - 4 = 7

1.2 Combinacin de sumas, restas y productos.

3 2 - 5 + 4 3 - 8 + 5 2 =

Realizamos primero los productos por tener mayor prioridad.

= 6 - 5 + 12 - 8 + 10 =

Efectuamos las sumas y restas.

= 6 - 5 + 12 - 8 + 10 = 15

1.3 Combinacin de sumas, restas, productos y divisiones.

10 : 2 + 5 3 + 4 - 5 2 - 8 + 4 2 - 16 : 4 =

Realizamos los productos y cocientes en el orden en el que los encontramos porque las dos operaciones tienen la misma prioridad.

= 5 + 15 + 4 - 10 - 8 + 8 - 4 =

Efectuamos las sumas y restas.

= 5 + 15 + 4 - 10 - 8 + 8 - 4 = 10

1.4 Combinacin de sumas, restas, p roductos, divisiones y potencias.

2 3 + 10 : 2 + 5 3 + 4 - 5 2 - 8 + 4 2 2 - 16 : 4 =

Realizamos en primer lugar las potencias por tener mayor prioridad.

= 8 + 10 : 2 + 5 3 + 4 - 5 2 - 8 + 4 4 - 16 : 4 =

Seguimos con los productos y cocientes.

= 8 + 5 + 15 + 4 - 10 - 8 + 16 - 4 =

Efectuamos las sumas y restas.

= 26

2. Operaciones combinadas con parntesis

(15 - 4) + 3 - (12 - 5 2) + (5 + 16 : 4) -5 + (10 - 2 3 )=

Realizamos en primer lugar las operaciones contenidas en ellos.

= (15 - 4) + 3 - (12 - 10) + (5 + 4) - 5 + (10 - 8 )=

Quitamos parntesis realizando las operaciones.

= 11 + 3 - 2 + 9 - 5 + 2 = 18

3. Operaciones combinadas con parntesis y corchetes

[15 - (2 3 - 10 : 2 )] [5 + (3 2 - 4 )] - 3 + (8 - 2 3 ) =

Primero operamos con las potencias, productos y cocientes de los parntesis.

= [15 - (8 - 5 )] [5 + (6 - 4 )] - 3 + (8 - 6 ) =

Realizamos las sumas y restas de los parntesis.

= [15 -3 ] [5 + 2 ] - 3 + 2=

Operamos en los parntesis.

= 12 7 - 3 + 2

Multiplicamos.

= 84 - 3 + 2=

Restamos y sumamos.

= 83

4. Con fracciones

Primero operamos con las productos y nmeros mixtos de los parntesis .

Operamos en el primer parntesis , quitamos el segundo, simplificamos en el tercero y operamos en el ltimo.

Realizamos el producto y lo simplificamos .

Realizamos las operaciones del parntesis .

Hacemos resultado.

las operaciones del numerador , dividimos y simplificamos el

Ejercicio de operaciones combinadas

14 {7 + 4 3 - [(-2) 2 2 - 6)]}+ (2 2 + 6 - 5 3) + 3 - (5 - 2 3 : 2) =

Primero parntesis.

operamos

con

las

potencias,

productos

cocientes

de

los

14 [7 + 4 3 -(4 2 - 6)] + (4 + 6 - 5 3) + 3 - (5 - 8 : 2) =

Operamos con los productos y cocientes de los parntesis.

14 [7 +12 -(8 - 6)] + (4 + 6 - 15) + 3 - (5 - 4) =

Realizamos las sumas y diferencias de los parntesis.

14 (7 +12 -2) + (-5) + 3 - (1) =

14 (17) + ( -5) + 3 - (1) =

La supresin de parntesis ha de realizarse considerando que:

Si el parntesis va precedido del signo + , se suprimir manteniendo su signo los trminos que contenga.

Si el parntesis va precedido

del signo , al suprimir el parntesis hay

que cambiar de signo a todo los trminos que contenga.

14 17 - 5 + 3 - 1 = 6

Notacin matemtica De Wikipedia, la enciclopedia libre

Saltar a: navegacin, bsqueda La matemtica se apoya en un lenguaje simblico formal, la notacin matemtica, que sigue una serie de convenciones propias. Los smbolos representan un concepto, una relacin una operacin, o una frmula matemtica segn ciertas reglas. Estos smbolos no deben considerarse abreviaturas, sino entidades con valor propio y autnomo. Algunos principios bsicos son:

Los smbolos de una letra se representan en letra cursiva: , etc. Los smbolos de varias letras se representan en letra redonda: , etc.; en lugar de no debe escribirse , porque eso representara el producto en lugar del logaritmo neperiano. Segn la norma ISO 31 los operadores diferenciales y las constantes matemticas universales ( ), tambin se escriben con letra redonda: .[1]

ndice
[ocultar]

1 Teora de conjuntos o 1.1 Conjuntos numricos 1.1.1 Conjuntos numricos especiales 2 Expresiones 3 Lgica proposicional, lgebra de Boole o 3.1 Operadores bsicos o 3.2 Implicacin o 3.3 Cuantificadores o 3.4 Teora de nmeros 4 Anlisis matemtico o 4.1 Anlisis real 4.1.1 Lmites 4.1.2 Derivadas 4.1.2.1 Derivadas ordinarias 4.1.2.2 Derivadas parciales

5 Miscelneos o 5.1 Funciones o 5.2 Tabla de Smbolos 6 Notas 7 Vase tambin 8 Enlaces externos

Teora de conjuntos[editar editar fuente]

Artculos principales:

Teora de conjuntos y lgebra. conjuntos

Se lee x pertenece a A A est contenido en B A est contenido en B o es igual que B

Sean

un elemento y
Notacin

Relacin pertenencia inclusin

inclusin

A contiene a B A contiene a B o es igual que B

Una barra cruzada sobre el smbolo niega el enunciado; por ejemplo "x no pertenece a A";
Conjuntos numricos[editar editar fuente]

es

La siguiente tabla recoge algunos ejemplos de smbolos que utilizan blackboard bold. Se muestra el smbolo creado con LaTeX, el carcter Unicode equivalente (podra no ser visible dependiendo del navegador y los tipos de letra disponibles), y su significado habitual en matemticas:
TeX Unicode Uso en matemticas Nmeros complejos Cuaterniones

Nmeros naturales Nmeros primos Nmeros racionales Nmeros reales Esfera

Nmeros enteros

Conjuntos numricos especiales[editar editar fuente]

Expresiones[editar editar fuente]

Relacin igualdad Notacin x es igual a y Se lee

menor que mayor que aproximado

x es menor que y x es mayor que y x es aproximadamente igual a y Notacin Se lee para todo x Existe por lo menos un x Existe un nico x o bien x, tal que y x, por lo tanto y

cuantificador universal cuantificador existencial cuantificador existencial con marca de unicidad tal que por lo tanto

Ejemplo: Teorema de Weierstrass: "Sea f una funcin real continua en un intervalo real cerrado y acotado [a, b], donde a es estrictamente menor que b. Se tiene que:

La funcin f est acotada. La funcin f alcanza un mximo y un mnimo en dicho intervalo, no necesariamente nicos."

Este teorema se puede expresar con notacin matemtica de la siguiente forma: " ".

Lgica proposicional, lgebra de Boole[editar editar fuente]

Artculos principales:

Clculo lgico y Conectiva lgica.

Operadores bsicos[editar editar fuente]

Los operadores lgicos ms bsicos son la conjuncin, la disyuncin, y la negacin. Sean y dos proposiciones

Operacin Notacin Se lee Negacin Conjuncin Disyuncin no 'p' 'p' y 'q' 'p' o 'q'

Los operadores bsicos se usan para formar declaraciones atmicas. Las declaraciones atmicas dicen cual combinacin de pp y qq es verdad.
Implicacin[editar editar fuente]

Una combinacin muy til de los operadores matemticos es la implicacin. Se escribe o como abreviatura de . La declaracin " implica " es falsa siempre que sea verdad pero no necesariamente . Si y por ", o bien " , se escribe si y slo si ". , que se lee " implica y es implicada

Uno de los usos ms comunes de los operadores lgicos se encuentra en la Programacin de Sistemas de Informacin, as como en la generacin de circuitos elctricos, y en general en cualquier sistema de toma de decisiones para la empresa o para la vida cotidiana, por ejemplo: Si salgo tarde de mi casa y no tengo vehculo, entonces llegar tarde al trabajo. Conjuncin|Salgo tarde no tengo vehculo llegar tarde al trabajo.

Si decimos Aqu no hay nadie y aplicamos literalmente la doble negacin

expresada en nuestro hablar cotidiano entonces podramos asegurar que Aqu hay alguien. Negacin lgica| hay nadie Aqu hay alguien

Viajo en autobs o viajo en mi coche, no las dos cosas a la vez. (al autor: por favor considera un ejemplo diferente. Parece ser que has introducido una disyuncin exclusiva referida a la disyuncin lgica que pones en el siguiente enlace) Disyuncin lgica| viajo en bus viajo en mi auto o lo uno o lo otro

Si mi empresa no produce nada quiere decir que mi empresa 'produce algo'. Negacin| produce nada Produce algo

Cuantificadores[editar editar fuente]

Hasta ahora las declaraciones que podemos hacer no dicen cundo son verdades. Para decirnos cundo una declaracin es verdad, necesitamos los cuantificadores. Hay tres cuantificadores bsicos: el cuantificador universal, el cuantificador existencial y el cuantificador existencial con marca de unicidad. Aqu estn los smbolos.
Nombre cuantificador universal cuantificador existencial cuantificador existencial con marca de unicidad Notacin Se lee Para todo x... Existe por lo menos un x... Existe un nico x...

Las declaraciones cuantificadas se escriben en la forma se leen "para todo , es verdad que " y "existe por lo menos un verdad".

tal que

que es

Estos dos ltimos cuantificadores pueden usarse para lo mismo, ya que dice lo mismo que dice . En palabras, decir "no es para todo que verdad" es igual que decir "existe tal que es falsa".

es

Teora de nmeros[editar editar fuente]

Artculo principal:

Teora de nmeros.

Anlisis matemtico[editar editar fuente]

Artculo principal:

Anlisis matemtico.

Anlisis real[editar editar fuente] Lmites[editar editar fuente]

Para decir que el lmite de la funcin o bien Igualmente, para decir que la sucesin infinidad, se escribe: o bien
Derivadas[editar editar fuente]
Derivadas ordinarias[editar editar fuente]

es .

cuando

tiende , se escribe:

va

cuando

tiende a la

Se define la derivada de una funcin como el lmite del cociente del cambio en la ordenada y la abscisa. Hay varias notaciones para denotar la derivada de una funcin de una sola variable:

Las derivadas serian:

Derivadas parciales[editar editar fuente]

Si la funcin depende de dos o ms variable, por ejemplo:

Las derivadas parciales respecto a cada una de las variables independientes:

Miscelneos[editar editar fuente]

Funciones[editar editar fuente]

Para decir que una funcin escribe .

va desde el espacio

al espacio

, se

Tabla de Smbolos[editar editar fuente]

En matemtica, existe un conjunto de smbolos que son frecuentemente utilizados en la formacin de expresiones matemticas. Debido a que los matemticos estn familiarizados con estos smbolos, los mismos no requieren ser explicados cada vez que se utilizan. En vista de esto, para beneficio de los matemticos novatos, en el Anexo:Tabla de smbolos matemticos y Anexo:Constantes matemticas se lista muchos de estos smbolos comunes, junto con su nombre, pronunciacin y el campo de las matemticas con el que se relacionan. Adicionalmente, la segunda lnea contiene una definicin informal, mientras que la tercera provee un ejemplo breve. Nota: Si algunos de los smbolos no se muestran correctamente en tu pantalla, podra ser que tu navegador no implemente correctamente el estndar HTML 4 sobre codificacin de caracteres o, alternativamente, que te falte instalar alguna fuente requerida adicional.

Notas[editar editar fuente]

1. Aunque en ocasiones, es complicado adherirse a esta regla. Considrese, por ej. que el TeX genera todas las letras individuales en cursivas; para que aparezcan en redondas, hay que efectuar el cambio de la fuente.

Anexo:Smbolos matemticos
De Wikipedia, la enciclopedia libre (Redirigido desde Anexo:Tabla de smbolos matemticos) Saltar a: navegacin, bsqueda

Genricos
Smbolo Nombre igualdad igual a se lee como todos Categora

x = y significa: x e y son nombres diferentes que hacen referencia a un mismo objeto o ente. 1+2=63 definicin se define como todos

x := y o x y significa: x se defene como otro nombre para y (notar, sin embargo, que puede tambin significar otras cosas, como congruencia) P : Q significa: P se define como lgicamente equivalente a Q cosh x := (1/2)(exp x + exp (x)); A XOR B : (A B) (A B)

Aritmtica
Smbolo Nombre adicin ms se lee como Categora aritmtica

4 + 6 = 10 significa que si a cuatro se le agrega 6, la suma, o resultado, es 10. 43 + 65 = 108; 2 + 7 = 9

substraccin

menos

aritmtica

9 4 = 5 significa que si 4 es restado de 9, el resultado ser 5. El smbolo 'menos' tambin se utiliza para denotar que un nmero es negativo. Por ejemplo, 5 + (3) = 2 significa que si 'cinco' y 'menos tres' son sumados, el resultado es 'dos'. 87 36 = 51 multiplicacin por aritmtica

7 x 6 = 42 significa que si se cuenta siete veces seis, el resultado ser 42. 4 x 6 = 24 4 * 6 = 24 4 6 = 24 divisin entre, dividido por aritmtica

significa que si se hace seis pedazos uniformes de cuarenta y dos, cada pedazo ser de tamao siete.

sumatoria

suma sobre ... desde ... hasta ... de

aritmtica

k=1n ak significa: a1 + a2 + ... + an k=14 k = 1 + 2 + 3 + 4 = 1 + 4 + 9 + 16 = 30 productorio producto sobre... desde ... hasta aritmtica ... de

k=1n ak significa: a1a2an k=14 (k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 + 2) = 3 4 5 6 = 360

Lgica proposicional
Smbolo Nombre se lee como Categora

implica; si .. implicacin material o en un entonces; por lo lgica proposicional solo sentido tanto A B significa: si A es verdadero entonces B es verdadero tambin; si B es verdadero entonces nada se dice sobre A. puede significar lo mismo que , o puede ser usado para denotar funciones, como se indica ms abajo. x = 2 x = 4 es verdadera, pero 4 = x x = 2 es, en general, falso (ya que x podra ser 2) doble implicacin si y slo si; sii, syss[1] lgica proposicional

A B significa: A es verdadera si B es verdadera y A es falsa si B es falsa. x+5=y+2 x+3=y conjuncin lgica o interseccin en una reja lgica proposicional, teora de rejas

la proposicin A B es verdadera si A y B son ambas verdaderas; de otra manera es falsa. n < 4 n > 2 n = 3 cuando n es un nmero natural

disyuncin lgica o unin en o, una reja

lgica proposicional, teora de rejas

la proposicin A B es verdadera si A o B (o ambas) son verdaderas; si ambas son falsas, la proposicin es falsa. n 4 n 2 n 3 cuando n es un nmero natural negacin lgica no lgica proposicional

la proposicin A es verdadera si y slo si A es falsa. una barra colocada sobre otro operador es equivalente a un colocado a la izquierda. (A B) (A) (B); x S (x S)

Lgica de predicados
Smbolo Nombre cuantificador universal se lee como para todos; para cualquier; para cada Categora lgica de predicados

x : P(x) significa: P(x) es verdadera para cualquier x n N: n n cuantificador existencial existe por lo menos un/os lgica de predicados

x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera. n N: n + 5 = 2n

cuantificador existencial con marca de unicidad

existe un/os nico/s

lgica de predicados

! x : P(x) significa: existe un nico x tal que P(x) es verdadera. ! n N: n + 1 = 2 reluz tal que lgica de predicados

x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera. n N: n + 5 = 2n

Teora de conjuntos
Smbolo Nombre delimitadores de conjunto se lee como el conjunto de ... Categora teora de conjuntos

{a,b,c} significa: el conjunto consistente de a, b, y c N = {0,1,2,...} notacin constructora el conjunto de los elementos ... teora de de conjuntos tales que ... conjuntos {x : P(x)} significa: el conjunto de todos los x para los cuales P(x) es verdadera. {x | P(x)} es lo mismo que {x : P(x)}. {n N : n < 20} = {0,1,2,3,4} conjunto vaco conjunto vaco teora de conjuntos

{} significa: el conjunto que no tiene elementos; es la misma cosa.

{n N : 1 < n < 4} = {} pertenencia de conjuntos en; est en; es elemento de; es teora de miembro de; pertenece a conjuntos

a S significa: a es elemento del conjunto S; a S significa: a no es elemento del conjunto S (1/2)1 N; 21 N subconjunto es subconjunto de teora de conjuntos

A B significa: cada elemento de A es tambin elemento de B A B significa: A B pero A B A B A; Q R unin de conjuntos la unin de ... y ...; unin teora de conjuntos

A B significa: el conjunto que contiene todos los elementos de A y tambin todos aquellos de B, pero ningn otro. AB AB=B interseccin de conjuntos la interseccin de ... y ...; interseccin teora de conjuntos

A B significa: el conjunto que contiene todos aquellos elementos que A y B tienen en comn. {x R : x = 1} N = {1} complemento de un conjunto menos; sin teora de conjuntos

A \ B significa: el conjunto que contiene todos aquellos elementos

de A que no se encuentran en B {1,2,3,4} \ {3,4,5,6} = {1,2}

Funciones
Smbolo Nombre aplicacin de funcin; agrupamiento se lee como de Categora funciones

para aplicacin de funcin: f(x) significa: el valor de la funcin f sobre el elemento x para agrupamiento: realizar primero las operaciones dentro del parntesis. Si f(x) := x, entonces f(3) = 3 = 9; (8/4)/2 = 2/2 = 1, pero 8/(4/2) = 8/2 = 4 mapeo funcional de ... a funciones

f: X Y significa: la funcin f mapea el conjunto X al conjunto Y Considrese la funcin f: Z N definida por f(x) = x

Nmeros
Smbolo Nombre nmeros naturales N se lee como Categora nmeros

N significa: {1,2,3,...}, pero vase el artculo nmeros naturales para una convencin diferente. {|a| : a Z} = N

nmeros enteros Z Z significa: {...,3,2,1,0,1,2,3,4,...} {a : |a| N} = Z nmeros racionales Q

nmeros

nmeros

Q significa: {p/q : p, q Z, q 0} 3.14 Q; Q nmeros reales R nmeros

R significa: {limn an : n N: an Q, el lmite existe} R; (1) R nmeros complejos C nmeros

C significa: {a + bi : a, b R} i = (1) C raz cuadrada la raz cuadrada de; la principal raz nmeros cuadrada de reales

x significa: el nmero positivo cuyo cuadrado es x (x) = |x| infinito infinito nmeros

es un elemento de la recta real extendida mayor que todos los nmeros reales; ocurre frecuentemente en lmites

limx0 1/|x| = valor absoluto valor absoluto de nmeros

|x| significa: la distancia en la recta real (o en el plano complejo) entre x y [[zero], se le llama tambin mdulo] |a + bi | = (a + b)

rdenes parciales
Smbolo Nombre comparacin se lee como es menor a, es mayor a Categora rdenes parciales

x < y significa: x es menor a y; x > y significa: x es mayor a y 3 <4 5 >4 Smbolo Nombre se lee como Categora

comparacin es menor o igual a, es mayor o igual a rdenes parciales x y significa: x es menor o igual a y; x y significa: x es mayor o igual ay x 1 x x

Geometra eucldea
Smbolo pi Nombre pi se lee como Categora Geometra euclideana

significa: la razn de la circunferencia a su dimetro.

A = r es el rea de un crculo con radio r

Combinatoria
Smbolo Nombre factorial se lee como factorial Categora combinatoria

n! es el producto 12...n 4! = 24

Anlisis funcional
Smbolo Nombre norma se lee como norma de; longitud de Categora anlisis funcional

x es la norma del elemento x de un espacio vectorial normado x+y x + y

Clculo
Smbolo Nombre integracin se lee como integral desde ... hasta ... de ... con respecto a ... Categora clculo

ab f(x) dx significa: el rea, con signo, entre el eje-x y la grfica de la funcin f entre x = a y x = b 0b x dx = b/3; x dx = x/3

derivacin

derivada de f; f prima

clculo

f '(x) es la derivada de la funcin f en el punto x, esto es, la pendiente de la tangente en ese lugar. Si f(x) = x, entonces f '(x) = 2x y f ' '(x) = 2 gradiente del, nabla, gradiente de clculo

f (x1, , xn) es el vector de derivadas parciales (df / dx1, , df / dxn) Si f (x, y, z) = 3xy + z entonces f = (3y, 3x, 2z) derivada parcial derivada parcial de clculo

Con f (x1, , xn), f/xi es la derivada de f con respecto a xi, con todas las otras variables mantenidas constantes. Si f(x, y) = xy, entonces f/x = 2xy

Ortogonalidad
Smbolo Nombre perpendicular se lee como es perpendicular a Categora ortogonalidad

x y significa: x es perpendicular a y; o, ms generalmente, x es ortogonal a y.

lgebra matricial
Smbolo Nombre se lee como Categora

perpendicular

traspuesta

matrices y vectores

(a,b) con al lado o a modo de potencia significa que el vector se debe colocar no de izquierda a derecha, sino de arriba a abajo. En numerosos trabajos de investigacin se utiliza esta sintaxis al no poder representar en un documento vectores verticales.

Teora de rejas
Smbolo Nombre fondo x= se lee como el elemento fondo significa: x es el elemento ms pequeo. Categora teora de rejas