You are on page 1of 7

Catenaria es una curva ideal que representa fsicamente la curva generada por una cadena o

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:

Es el peso por unidad de longitud, que se supone constante.


La tensin horizontal que aparecer en los extremos del cable.

La solucin general viene dada por:

(2)

Tres catenarias diferentes a travs los mismos puntos, dependiendo de la fuerza horizontal
, siendo .

La solucin para de la ecuacin anterior para un cable suspendido de dos puntos a la


misma altura y cuyo punto mnimo es, tomando su mnimo en el punto (0, a) resulta
ser:
Es la componente horizontal de la tensin, que es constante, es el peso por
unidad de longitud del hilo y es la funcin coseno hiperblico. Si se
desarrolla en series de Taylor la ecuacin de la catenaria (2) se obtiene una curva
cercana a una parbola:

Esto corresponde a la ecuacin de una parbola ms un trmino de cuarto orden. Es


por este motivo que las grficas son tan parecidas en el entorno de cero.

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. ,

Donde , ,y pueden ser cualquier frmula en el lenguaje.

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.

Otro ejemplo interesante es el de instanciacin universal, mediante el cuantificador


universal. Para una frmula en un lenguaje de primer orden , una variable y un
trmino sustituible por en , la frmula es vlida universalmente.

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 formalismo surgido como consecuencia de la crisis fundacional de principios del siglo XX


dio lugar al llamado programa de Hilbert. Dicho programa abogaba por la formalizacin de
diferentes ramas de las matemticas mediante un conjunto de axiomas explcitos, en general
formulados en lenguajes formales de primer orden. Eso significa que junto con los axiomas
lgicos ordinarios de una teora de primer orden se introducan smbolos extra lgicos (para
constantes, funciones y predicados) y ciertos axiomas matemticos que usaban dichos signos
que restringan su comportamiento. Cada teora matemtica necesita un conjunto diferente de
signos extra lgicos, por ejemplo la aritmtica de primer orden requiere la funcin siguiente
y una constante que designe al primer de los nmeros naturales (a partir de esos dos signos
nuevos una constante y una funcin, son definibles la suma, la multiplicacin, la relacin de
orden menor o igual y todas las nociones necesarias para la aritmtica).

El programa de Hilbert hizo concebir la posibilidad de unas matemticas en que la propia


consistencia de axiomas escogidos fuera verificable de manera relativamente simple. Sin
embargo, el teorema de incompletitud de Gdel y otros resultados mostraron la inviabilidad del
programa de Hilbert para los fines con los que fue propuesto.

isomtrica es un mtodo grfico de representacin, ms especficamente


una axonomtrica1 cilndrica2 ortogonal.3 Constituye una representacin visual de un objeto
tridimensional en dos dimensiones, en la que los tres ejes ortogonales principales, al
proyectarse, forman ngulos de 120, y las dimensiones paralelas a dichos ejes se miden en
una misma escala.

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.

Una variedad muy utilizada de la Perspectiva Isomtrica es el Dibujo Isomtrico. En la


Isomtrica el coeficiente de reduccin de las dimensiones. Al ser la reduccin idntica en los
tres ejes el dibujo isomtrico se realiza sin reduccin, con las dimensiones paralelas a los ejes
a escala 1:1 o escala natural, sin que cambie la apariencia del dibujo salvo en su tamao.
Esto permite tanto dibujar directamente estas dimensiones en el papel (lo que facilita el dibujo
por coordenadas cartesianas como medir directamente en el dibujo las de un objeto. La
apariencia del dibujo es idntica aunque ms grande, y las dimensiones que en la perspectiva
correcta seran iguales a las reales (las paralelas al plano de proyeccin) son mayores.
La escala en que es mayor el Dibujo Isomtrico respecto a la Perspectiva Isomtrica es
aproximadamente 1,22.

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.

La construccin de la escala grfica es similar al de la proyeccin isomtrica, pero que hay


que trazar las escalas de los coeficientes de reduccin de los dos ejes horizontales.

Esta perspectiva o proyeccin es usual para representar piezas ms largas que anchas y
altas.

La perspectiva trimtrico es una proyeccin axonomtrica, para representar volmenes, en


la cual el objeto tridimensional se encuentra inclinado con respecto al plano del cuadro de
forma que sus tres ejes principales experimentan reducciones diferentes.

Asntota:

En matemtica, se le llama asntota de la grfica de una funcin, a una recta a la que se


aproxima continuamente la grfica de tal funcin;1 es decir que la distancia entre las dos
tiende a ser cero (0), a medida que se extienden indefinidamente.
O que ambas presentan un comportamiento asinttico.

Trimtrico:

La perspectiva trimtrico es una proyeccin axonomtrica, para representar volmenes, en


la cual el objeto tridimensional se encuentra inclinado con respecto al plano del cuadro de
forma que sus tres ejes principales experimentan reducciones diferentes.
Perspect
Cnica
iva
Axonomtr Ortogo
Isomtric
ica nal
a

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

Que est situado en el abdomen y tiene las funciones de espirador y compresor de


las vsceras abdominales.
"la flexin y el giro corren a cargo de los msculos rectos mayores y oblicuos
mayores del abdomen, y en la espalda, los serratos posteriores"