PDA

Ver la versión completa : Llaves



Shikoku
24/10/2008, 15:32
Bueno, pues es que resulta que quiero poner algo del tipo:


\[
\left \begin{array}{lccccc}
\text{En } G: & ee' & = & e'e & = & e \\
\text{En } H: & & & e'e' & = & e' \\
\end{array}
\right\} \; \text{ luego } \; ee' = e'e' \Longrightarrow e = e'
\]

Estoy intentando poner centradas dos expresiones, para después poner una llave que englobe dichas ecuaciones y escribir una expresión que se deduce de esas dos anteriores. Pero cuando doy a PDFview me aparece que existe un error, pero no logro encontrarlo. Además, los símbolos = aparecen más separados de los miembros de la igualdad que como suelen aparecer (deduzco que se deben al uso del array). Se aceptan ayudas :oops:

Gracias. Un saludo :)

gmedina
24/10/2008, 15:42
Hola Shikoku,

te falta un punto después de \left; debes poner
\left.

Shikoku
24/10/2008, 15:50
Muchas gracias, gmedina ;)

Deduzco entonces que si en \left o \right no queremos que aparezca un paréntesis, corchete o llave, hay que poner punto, no?

Un saludo :)

gmedina
24/10/2008, 15:53
Efectivamente.

Shikoku
25/10/2008, 16:05
Bueno, utilizo el post para otra duda sobre las llaves:




\[
\left\{ \begin{array}{lll}
K_1 & \forall \; x, y, z \in K & (x + y) + z = x + (y + z) \\
K_2 & \exists \; 0 \in K, \; \forall \; x \in K & x + 0 = 0 + x = x \\
K_3 & \forall \; x \in K, \; \exists \; (-x) \in K & x + (-x) = (-x) + x = 0 \\
K_4 & \forall x, y \in K & x + y = y + x \\
\end{array}
\right.
\]
\[
\left\{ \begin{array}{lll}
K_5 & \forall \; x, y, z \in K & (x \cdot y) \cdot z = x \cdot (y \cdot z) \\
K_6 & \exists \; e \in K, \; \forall \; x \in K & x \cdot e = e \cdot x = x \\
K_7 & \forall \; x \in K, \; \exists \; x^{-1} \in K & x \cdot x^{-1} = x^{-1} \cdot x = e \\
K_8 & \forall x, y \in K & x \cdot y = y \cdot x \; \text{ sólo si la multiplicación es conmutativa}
\end{array}
\right.
\]
\[
\left\{ \begin{array}{lll}
K_9 & \forall \; x, y, z \in K & x \cdot (y + z) = x \cdot y + x \cdot z \\
K_{10} & \forall \; x, y, z \in K & (y + z) \cdot x = y \cdot x + z \cdot x \\
\end{array}
\right.
\]



Estoy intentado describir 10 axiomas, en los que divido cada renglon en tres partes: K_n, las condiciones y el axioma definido con esas condiciones. Pero querría poner delante de los 4 primeros una llave, y delante de los 4 siguientes otra llave, y delante de los 2 últimos una tercera llave, de modo que queden agrupados de un modo que me interesa a mí para poder estudiar.

El problema que tengo es que quiero que quiero que los renglones de array queden "ordenados", es decir, si tenemos array{lll} quiero que cada l de cada renglon quede debajo del l del renglón anterior, pero a la vez poniendo las llaves a la izquierda. Y poniéndolo así, LaTeX lo centra todo por defecto, y unas llaves salen cerca del centro, otras más hacia la izquierda, etc. No sé si me he explicado, jeje.

Gracias de antemano. Un saludo :h:

gmedina
25/10/2008, 17:17
Hola Shikoku,

una opción es usar dos tablas: una para las llaves y la otra para los axiomas. Te pongo un ekjemplo que tú podrás adaptar según tus necesidades:

\documentclass{article}
\usepackage{amsmath}
\usepackage{array}

\begin{document}

%la tabla que contiene las llaves
\begin&#123;tabular&#125;&#123;>&#123;$&#125;r<&#123;$&#125;&#125;
\left\lbrace \rule&#123;0pt&#125;&#123;1cm&#125;\right.\\&#91;3.8em&#93;
\left\lbrace \rule&#123;0pt&#125;&#123;1cm&#125;\right.\\&#91;3.8em&#93;
\left\lbrace \rule&#123;0pt&#125;&#123;.5cm&#125;\right.
\end&#123;tabular&#125;\hspace&#123;-1em&#125;
%la tabla que contiene los axiomas
\begin&#123;tabular&#125;&#123;>&#123;$&#125;l<&#123;$&#125;>&#123;$&#125;l<&#123;$&#125;>&#123;$&#125;l<&#123;$&#125;&#125;
K_1 & \forall \; x, y, z \in K & &#40;x + y&#41; + z = x + &#40;y + z&#41; \\
K_2 & \exists \; 0 \in K, \; \forall \; x \in K & x + 0 = 0 + x = x \\
K_3 & \forall \; x \in K, \; \exists \; &#40;-x&#41; \in K & x + &#40;-x&#41; = &#40;-x&#41; + x = 0 \\
K_4 & \forall x, y \in K & x + y = y + x \\&#91;2em&#93;
K_5 & \forall \; x, y, z \in K & &#40;x \cdot y&#41; \cdot z = x \cdot &#40;y \cdot z&#41; \\
K_6 & \exists \; e \in K, \; \forall \; x \in K & x \cdot e = e \cdot x = x \\
K_7 & \forall \; x \in K, \; \exists \; x^&#123;-1&#125; \in K & x \cdot x^&#123;-1&#125; = x^&#123;-1&#125; \cdot x = e \\
K_8 & \forall x, y \in K & x \cdot y = y \cdot x \; \text&#123; sólo si la multiplicación es conmutativa&#125;\\&#91;2em&#93;
K_9 & \forall \; x, y, z \in K & x \cdot &#40;y + z&#41; = x \cdot y + x \cdot z \\
K_&#123;10&#125; & \forall \; x, y, z \in K & &#40;y + z&#41; \cdot x = y \cdot x + z \cdot x \\
\end&#123;tabular&#125;

\end&#123;document&#125;

Shikoku
25/10/2008, 21:11
Muchas gracias, gmedina ;) Bueno, copio lo que he puesto finalmente, así es como más me satisface la posición de las llaves respecto a los axiomas:


\vspace&#123;.3cm&#125;
% La tabla que contiene las llaves
\begin&#123;tabular&#125;&#123;>&#123;$&#125;r<&#123;$&#125;&#125;
\left\lbrace \rule&#123;0pt&#125;&#123;1.2cm&#125;\right. \\ &#91;2.7em&#93;
\left\lbrace \rule&#123;0pt&#125;&#123;1.2cm&#125;\right. \\ &#91;2.7em&#93;
\left\lbrace \rule&#123;0pt&#125;&#123;.7cm&#125;\right.
\end&#123;tabular&#125;\hspace&#123;-1em&#125;
% La tabla que contiene los axiomas
\begin&#123;tabular&#125;&#123;>&#123;$&#125;l<&#123;$&#125;>&#123;$&#125;l<&#123;$&#125;>&#123;$&#125;l<&#123;$&#125;&#125;
K_1 & \forall \; x, y, z \in K & &#40;x + y&#41; + z = x + &#40;y + z&#41; \\
K_2 & \exists \; 0 \in K, \; \forall \; x \in K & x + 0 = 0 + x = x \\
K_3 & \forall \; x \in K, \; \exists \; &#40;-x&#41; \in K & x + &#40;-x&#41; = &#40;-x&#41; + x = 0 \\
K_4 & \forall x, y \in K & x + y = y + x \\ &#91;1.1em&#93;
K_5 & \forall \; x, y, z \in K & &#40;x \cdot y&#41; \cdot z = x \cdot &#40;y \cdot z&#41; \\
K_6 & \exists \; e \in K, \; \forall \; x \in K & x \cdot e = e \cdot x = x \\
K_7 & \forall \; x \in K, \; \exists \; x^&#123;-1&#125; \in K & x \cdot x^&#123;-1&#125; = x^&#123;-1&#125; \cdot x = e \\
K_8 & \forall x, y \in K & x \cdot y = y \cdot x \; \text&#123; sólo si la multiplicación es conmutativa&#125; \\ &#91;1.1em&#93;
K_9 & \forall \; x, y, z \in K & x \cdot &#40;y + z&#41; = x \cdot y + x \cdot z \\
K_&#123;10&#125; & \forall \; x, y, z \in K & &#40;y + z&#41; \cdot x = y \cdot x + z \cdot x \\
\end&#123;tabular&#125; \vspace&#123;.3cm&#125;

Un saludo :)

gmedina
25/10/2008, 22:37
Hola Shikoku,

antes de enviar tu mensaje anterior no deshabilitaste HTML y el código ha salido incompleto! ¿Podrías, por favor, volver a ponerlo pero deshabilitando antes HTML para que aparezca correctamente?

Shikoku
25/10/2008, 22:49
¿A qué te refieres con incompleto? ¿A qué faltan los comandos del comienzo, el begin document y el end document, o a qué en concreto? Si es eso, no lo puse intencionadamente, sólo copié la parte de las llaves. Si quieres lo pongo jejeje. Si no es eso, no sé a qué te refieres :oops:

De todas formas únicamente he hecho cambios en las longitudes de las llaves y las separaciones entre ellas y entre los renglones, tampoco es nada del otro mundo jejeje

Un saludo :)

gmedina
25/10/2008, 23:20
¿A qué te refieres con incompleto? ¿A qué faltan los comandos del comienzo, el begin document y el end document, o a qué en concreto? Si es eso, no lo puse intencionadamente, sólo copié la parte de las llaves. Si quieres lo pongo jejeje. Si no es eso, no sé a qué te refieres :oops:

No, lo de la falta del preámbulo no es importante. Revisa bien lo que aparece y verás que, debido a que en el código se usan signos "mayor que" y "menor que" entonces el código no aparece completo (aparece descuadrado, con faltantes, imposible de compilar). Esto sucede porque al no deshabilitar la opción HTML, no se qué hará el software del foro pero descuadra el código.