Escolar Documentos
Profissional Documentos
Cultura Documentos
hilo sin rigidez flexional, suspendidos de sus dos extremos y sometidos a un campo
gravitatorio uniforme. Esta palabra proviene del latn catnarus (propio de la cadena). Por
extensin, en matemticas se denomina catenaria a la curva que adopta una
cadena, cuerda o cable ideal perfectamente flexible, con masa distribuida uniformemente por
unidad de longitud, suspendida por sus extremos y sometida a la accin de un campo
gravitatorio uniforme. La evoluta de la catenaria es la tractriz.
La condicin de equilibrio de un cable sometido a su propio peso vertical lleva a un problema
de equilibrio en el plano (la catenaria es siempre una curva plana si se puede despreciar la
rigidez flexional del cable). De la condicin de equilibrio local de cada punto se desprende la
siguiente ecuacin diferencial para la pendiente de la catenaria, que relaciona las tensiones en
los extremos de un tramo y el peso del mismo (ver deduccin de la catenaria):
Donde:
(2)
Tres catenarias diferentes a travs los mismos puntos, dependiendo de la fuerza horizontal
, siendo .
Axioma:
La lgica del axioma es partir de una premisa calificada de verdadera por s misma (el
axioma), y de sta inferir otras proposiciones por medio del mtodo deductivo, de lo cual se
obtienen conclusiones coherentes con el axioma. A partir de los axiomas, y de reglas de
inferencia, han de deducirse todas las dems proposiciones de una teora dada.
Axioma lgico
Los axiomas son ciertas frmulas en un lenguaje formal que son universalmente vlidas, esto
es frmulas satisfechas por cualquier estructura y por cualquier funcin variable. En trminos
coloquiales son enunciados verdaderos en cualquier mundo posible, bajo cualquier
interpretacin posible, con cualquier asignacin de valores. Comnmente se toma como
axioma un conjunto mnimo de tautologas suficientes para probar una teora.
Ejemplo 1En clculo proposicional es comn tomar como axiomas lgicos todas las frmulas
siguientes:
1.
2.
3. ,
Cada uno de estos patrones es un esquema de axiomas, una regla para generar un
nmero infinito de axiomas. Por ejemplo si p, q, y r son variables proposicionales,
entonces y son instancias del
esquema 1 y por lo tanto son axiomas.
Puede probarse que, con solamente estos tres esquemas de axiomas y la regla de
inferencia modus ponens, todas las tautologas del clculo proposicional son demostrables.
Tambin se puede probar que ningn par de estos esquemas es suficiente para demostrar
todas las tautologas utilizando modus ponens. Este conjunto de esquemas axiomticos
tambin se utiliza en el clculo de predicados, pero son necesarios ms axiomas lgicos.
Ejemplo 2
Sea un lenguaje de primer orden. Para cada variable la frmula es
universalmente vlida.
Esto significa que, para cualquier smbolo variable , la frmula puede considerarse
axioma. Para no incurrir en vaguedad o en una serie infinita de nociones primitivas, primero
se necesita una idea de lo que se desea expresar mediante , o definir un uso
puramente formal y sintctico del smbolo . De hecho sucede esto en Lgica matemtica.
En trminos informales este ejemplo permite afirmar que si se sabe que cierta propiedad se
cumple para toda y que si es un objeto particular en la estructura, se estara en capacidad
de afirmar .
De nuevo se afirma que la frmula es vlida. Esto es, se debe ser capaz de
aportar una prueba de este hecho, o -mejor expresado- una meta prueba. En efecto, estos
ejemplos son meta teoremas de la teora de lgica matemtica, ya que la referencia es
meramente al concepto demostrativo en s. Adems se puede extender a una generalizacin
existencial utilizando el cuantificador existencial.
Esquema axiomtico. Para una frmula en un lenguaje de primer orden , una variable y
un trmino sustituible por en , la es universalmente vlida.
Matemticas
En matemticas para que una afirmacin sea considerada vlida debe o bien estar contenida
dentro de una base de afirmaciones de partida, los denominados axiomas, o debe
poder demostrarse a partir de los mismos. Los axiomas son por tanto los pilares
fundamentales de toda rama de las matemticas, y a partir de ellos, mediante las
demostraciones matemticas, se deduce la veracidad de cualquier afirmacin.
Los axiomas sern, por tanto, afirmaciones que se aceptan como verdaderas y que su
veracidad no puede ser demostrada a partir de otros axiomas. Un axioma no se caracteriza
por si resulta una afirmacin trivial o intuitiva, siendo el axioma de eleccin un ejemplo de un
axioma que no resulta trivial.
El otro tipo de afirmaciones a las que se hace referencia son los teoremas. Estas
afirmaciones deben ser demostradas usando los axiomas u otros teoremas ya demostrados.
Una consecuencia inmediata de un teorema se llamar corolario.
Muchas partes de la matemtica estn axiomatizadas, lo que significa que existe un conjunto
de axiomas de los cuales es posible deducir todas las verdades de esa parte de la
matemtica. Por ejemplo, de los axiomas de Peano es posible deducir todas las verdades de
la aritmtica (y por extensin, de otras partes de la matemtica).
El trmino isomtrico proviene del idioma griego: "igual medida", ya que la escala de medicin
es la misma en los tres ejes principales (x, y, z).
La isometra es una de las formas de proyeccin utilizadas en dibujo tcnico que tiene la
ventaja de permitir la representacin a escala, y la desventaja de no reflejar la disminucin
aparente de tamao -proporcional a la distancia- que percibe el ojo humano.
Dimtrico:
La perspectiva dimtrico: es una herramienta del dibujo tcnico, utilizada para representar
volmenes, que forma parte a su vez de la Axonometra.
Los tres ejes principales (ortogonales) que se utilizan para el trazado del dibujo poseen dos
ngulos con la misma amplitud y el tercero de amplitud diferente. Los ngulos ms usuales
para esta perspectiva son 105 y 150.
Esta perspectiva o proyeccin es usual para representar piezas ms largas que anchas y
altas.
Asntota:
Trimtrico:
Dimtric
a
Trimtri
ca
Oblicua
Caballe
ra
Militar
Proyeccin Proyeccin
grfica cnica
Proyeccin
Proyeccin
paralela
ortogonal
Proyeccin
oblicua
Oblicuo:
1. .
Que est en una posicin media entre la vertical y la horizontal.
"vena el agua en forma de violenta cortina, tan oblicua que nos impeda avanzar;
un resplandor oblicuo penetraba a travs de la cortina de la puerta; las piernas de
cordero se trinchan en lonjas horizontales, utilizando cortes oblicuos para
profundizar hacia el hueso"
2. 2.
[Lnea, plano] Que forma con otra lnea o plano un ngulo que no es recto.
"dibuja una lnea oblicua"
3. 3.
[Cilindro, cono] Que tiene un eje no perpendicular a la base.
4. 4.
Que es indirecto o no va directamente hacia un fin u objetivo.
"en estos casos suelen primar las estrategias oblicuas frente a las enunciaciones
directas"
5. 5.
Adjetivo/nombre masculino