Matematicas I PDF
Matematicas I PDF
Matematicas I PDF
Curso 2012-2013
c 2010, 2011, 2012, José Miguel Farto Álvarez.
Copyright
0 Nociones previas 1
0.1 Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
PSM Paradojas en la teoría intuitiva de conjuntos . . . . . . . 1
0.1.1 Operaciones sobre conjuntos . . . . . . . . . . . . . . . 2
0.1.1.1 Unión de conjuntos . . . . . . . . . . . . . . . 2
0.1.1.2 Intersección de conjuntos . . . . . . . . . . . 2
0.1.1.3 Producto cartesiano . . . . . . . . . . . . . . 3
0.1.1.4 Propiedades . . . . . . . . . . . . . . . . . . . 3
PSM Otras operaciones sobre conjuntos . . . . . . . . . . . . . 3
0.1.2 Correspondencias . . . . . . . . . . . . . . . . . . . . . 4
0.1.2.1 Aplicaciones . . . . . . . . . . . . . . . . . . . 4
PSM Cardinalidad . . . . . . . . . . . . . . . . . . . . . . . . 7
PSM Relaciones binarias . . . . . . . . . . . . . . . . . . . . . . . . 8
PSM Relaciones de equivalencia . . . . . . . . . . . . . . . . . 8
PSM Relaciones de orden . . . . . . . . . . . . . . . . . . . . . 8
0.2 Operaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
0.2.1 Operaciones internas . . . . . . . . . . . . . . . . . . . 8
iii
iv 0.0. CONTENTS
I Cálculo infinitesimal 23
1 Funciones 25
1.1 Funciones y su representación gráfica . . . . . . . . . . . . . . 25
1.2 Funciones elementales . . . . . . . . . . . . . . . . . . . . . . 26
1.3 Propiedades de las funciones elementales . . . . . . . . . . . . 35
PSM Funciones de varias variables . . . . . . . . . . . . . . . . . . 36
PSM Funciones escalares . . . . . . . . . . . . . . . . . . . . . 36
PSM Funciones vectoriales . . . . . . . . . . . . . . . . . . . . 37
1.4 Aritmética de funciones . . . . . . . . . . . . . . . . . . . . . 37
2 Continuidad y límites 41
2.1 Funciones continuas . . . . . . . . . . . . . . . . . . . . . . . . 41
2.1.1 Continuidad en un punto . . . . . . . . . . . . . . . . . 41
2.1.2 Continuidad en una unión de intervalos . . . . . . . . . 41
2.2 Aritmética de funciones continuas . . . . . . . . . . . . . . . . 42
2.3 Teorema de Weierstrass . . . . . . . . . . . . . . . . . . . . . . 43
2.4 Teorema de Bolzano . . . . . . . . . . . . . . . . . . . . . . . 43
PSM Propiedad de Darboux . . . . . . . . . . . . . . . . . . . 44
PSM Teorema del punto fijo . . . . . . . . . . . . . . . . . . . 44
2.5 Discontinuidades I . . . . . . . . . . . . . . . . . . . . . . . . 44
2.6 Límites en un punto . . . . . . . . . . . . . . . . . . . . . . . 44
2.7 Límites laterales . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.8 Discontinuidades II . . . . . . . . . . . . . . . . . . . . . . . . 47
2.9 Cálculo de límites . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.9.1 Algunos casos particulares . . . . . . . . . . . . . . . . 48
2.9.2 Acotación. Regla del Sandwich . . . . . . . . . . . . . . 49
2.9.3 Cambio de variable . . . . . . . . . . . . . . . . . . . . 50
2.9.4 Aritmética . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.9.4.1 Suma . . . . . . . . . . . . . . . . . . . . . . 51
2.9.4.2 Producto . . . . . . . . . . . . . . . . . . . . 52
2.9.4.3 Cociente . . . . . . . . . . . . . . . . . . . . . 53
2.9.4.4 Exponenciales . . . . . . . . . . . . . . . . . . 54
2.9.5 Equivalencias. Principio de sustitución . . . . . . . . . 58
2.9.6 Órdenes de infinitud . . . . . . . . . . . . . . . . . . . 59
2.10 Límites de sucesiones . . . . . . . . . . . . . . . . . . . . . . . 60
2.11 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
3 Derivadas 63
3.1 Derivada en un punto . . . . . . . . . . . . . . . . . . . . . . . 63
3.1.1 Interpretación física y geométrica . . . . . . . . . . . . 64
3.2 Derivada en un intervalo . . . . . . . . . . . . . . . . . . . . . 65
3.2.1 Derivadas sucesivas . . . . . . . . . . . . . . . . . . . . 65
3.3 Cálculo de derivadas . . . . . . . . . . . . . . . . . . . . . . . 66
3.3.1 Derivadas de las funciones elementales . . . . . . . . . 66
3.3.2 Reglas aritméticas . . . . . . . . . . . . . . . . . . . . 66
3.3.3 Regla de la cadena . . . . . . . . . . . . . . . . . . . . 68
3.3.4 Derivada de la función inversa . . . . . . . . . . . . . . 69
4 Integración 93
4.1 Primitivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
4.2 Cálculo de primitivas . . . . . . . . . . . . . . . . . . . . . . . 94
4.2.1 Integrales inmediatas . . . . . . . . . . . . . . . . . . . 94
4.2.2 Integración por descomposición . . . . . . . . . . . . . 94
4.2.2.1 Funciones racionales . . . . . . . . . . . . . . 95
4.2.2.1.1 Caso 1 . . . . . . . . . . . . . . . . . 96
4.2.2.1.2 Caso 2 . . . . . . . . . . . . . . . . . 98
4.2.3 Integración por partes . . . . . . . . . . . . . . . . . . 107
4.2.4 Cambio de variable . . . . . . . . . . . . . . . . . . . . 107
4.2.4.1 Cambio lineal de variable . . . . . . . . . . . 109
4.2.4.2 Irracionales bilineales . . . . . . . . . . . . . . 109
4.2.4.3 Racionales de seno y cosenoR .√. . . . . . . . . 110
4.2.4.4 Integrales de la forma R(x, ±a2 ± x2 ) dx . 113
4.2.4.5 Irracionales cuadráticas . . . . . . . . . . . . 115
4.3 La integral de Riemann . . . . . . . . . . . . . . . . . . . . . . 116
PSM Construcción formal de la integral de Riemann . . . . . . 118
4.3.1 Propiedades de la integral definida . . . . . . . . . . . 119
4.3.2 Teorema del valor medio . . . . . . . . . . . . . . . . . 120
4.3.3 Continuidad de la función integral . . . . . . . . . . . . 120
4.3.4 Teorema fundamental del cálculo . . . . . . . . . . . . 120
4.3.5 Regla de Barrow . . . . . . . . . . . . . . . . . . . . . 121
4.3.6 Integración por partes . . . . . . . . . . . . . . . . . . 121
4.3.7 Cambio de variable . . . . . . . . . . . . . . . . . . . . 122
7 Vectores 277
7.1 Vectores en Rn . . . . . . . . . . . . . . . . . . . . . . . . . . 277
7.1.1 Introducción . . . . . . . . . . . . . . . . . . . . . . . . 277
7.1.1.1 Notaciones . . . . . . . . . . . . . . . . . . . 278
7.1.2 Operaciones . . . . . . . . . . . . . . . . . . . . . . . . 279
7.1.3 Vectores y matrices . . . . . . . . . . . . . . . . . . . . 280
7.2 Sistemas de vectores . . . . . . . . . . . . . . . . . . . . . . . 282
7.2.1 Combinaciones lineales . . . . . . . . . . . . . . . . . . 283
7.2.2 Matriz de un sistema . . . . . . . . . . . . . . . . . . . 283
7.2.3 Rango de un sistema . . . . . . . . . . . . . . . . . . . 286
7.2.4 Equivalencia de sistemas . . . . . . . . . . . . . . . . . 287
7.3 Subespacios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 291
7.3.1 Subespacios y sistemas . . . . . . . . . . . . . . . . . . 291
10 Métricas 425
10.1 Producto escalar y norma . . . . . . . . . . . . . . . . . . . . 425
10.1.1 Producto escalar y sistemas . . . . . . . . . . . . . . . 426
10.1.2 Norma . . . . . . . . . . . . . . . . . . . . . . . . . . . 427
10.2 Ortogonalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . 427
10.2.1 Vectores y sistemas ortogonales . . . . . . . . . . . . . 427
10.2.2 Subespacios ortogonales . . . . . . . . . . . . . . . . . 429
10.3 La proyección ortogonal . . . . . . . . . . . . . . . . . . . . . 430
10.3.1 Mejor solución aproximada de un sistema lineal . . . . 434
10.3.2 Aproximación por mínimos cuadrados . . . . . . . . . . 435
10.4 Espacios euclídeos de dimensión finita . . . . . . . . . . . . . . 435
10.4.1 Representación matricial de un producto escalar . . . . 435
10.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 437
<http://fsf.org/>
Preamble
The purpose of this License is to make a manual, textbook, or other func-
tional and useful document “free” in the sense of freedom: to assure everyone
the effective freedom to copy and redistribute it, with or without modifying
it, either commercially or noncommercially. Secondarily, this License pre-
serves for the author and publisher a way to get credit for their work, while
not being considered responsible for modifications made by others.
This License is a kind of “copyleft”, which means that derivative works
of the document must themselves be free in the same sense. It complements
the GNU General Public License, which is a copyleft license designed for free
software.
We have designed this License in order to use it for manuals for free
software, because free software needs free documentation: a free program
should come with manuals providing the same freedoms that the software
does. But this License is not limited to software manuals; it can be used
for any textual work, regardless of subject matter or whether it is published
as a printed book. We recommend this License principally for works whose
purpose is instruction or reference.
xi
xii 0.0. CONTENTS
under the terms of this License. Such a notice grants a world-wide, royalty-
free license, unlimited in duration, to use that work under the conditions
stated herein. The “Document”, below, refers to any such manual or work.
Any member of the public is a licensee, and is addressed as “you”. You accept
the license if you copy, modify or distribute the work in a way requiring
permission under copyright law.
A “Modified Version” of the Document means any work containing the
Document or a portion of it, either copied verbatim, or with modifications
and/or translated into another language.
A “Secondary Section” is a named appendix or a front-matter section
of the Document that deals exclusively with the relationship of the publishers
or authors of the Document to the Document’s overall subject (or to related
matters) and contains nothing that could fall directly within that overall
subject. (Thus, if the Document is in part a textbook of mathematics, a
Secondary Section may not explain any mathematics.) The relationship could
be a matter of historical connection with the subject or with related matters,
or of legal, commercial, philosophical, ethical or political position regarding
them.
The “Invariant Sections” are certain Secondary Sections whose titles
are designated, as being those of Invariant Sections, in the notice that says
that the Document is released under this License. If a section does not fit
the above definition of Secondary then it is not allowed to be designated
as Invariant. The Document may contain zero Invariant Sections. If the
Document does not identify any Invariant Sections then there are none.
The “Cover Texts” are certain short passages of text that are listed,
as Front-Cover Texts or Back-Cover Texts, in the notice that says that the
Document is released under this License. A Front-Cover Text may be at
most 5 words, and a Back-Cover Text may be at most 25 words.
A “Transparent” copy of the Document means a machine-readable copy,
represented in a format whose specification is available to the general public,
that is suitable for revising the document straightforwardly with generic text
editors or (for images composed of pixels) generic paint programs or (for
drawings) some widely available drawing editor, and that is suitable for input
to text formatters or for automatic translation to a variety of formats suitable
for input to text formatters. A copy made in an otherwise Transparent file
format whose markup, or absence of markup, has been arranged to thwart or
discourage subsequent modification by readers is not Transparent. An image
format is not Transparent if used for any substantial amount of text. A copy
that is not “Transparent” is called “Opaque”.
Examples of suitable formats for Transparent copies include plain ASCII
without markup, Texinfo input format, LaTeX input format, SGML or XML
2. VERBATIM COPYING
You may copy and distribute the Document in any medium, either com-
mercially or noncommercially, provided that this License, the copyright no-
tices, and the license notice saying this License applies to the Document are
reproduced in all copies, and that you add no other conditions whatsoever
to those of this License. You may not use technical measures to obstruct or
control the reading or further copying of the copies you make or distribute.
However, you may accept compensation in exchange for copies. If you dis-
tribute a large enough number of copies you must also follow the conditions
in section 3.
You may also lend copies, under the same conditions stated above, and
you may publicly display copies.
3. COPYING IN QUANTITY
If you publish printed copies (or copies in media that commonly have
printed covers) of the Document, numbering more than 100, and the Doc-
ument’s license notice requires Cover Texts, you must enclose the copies in
covers that carry, clearly and legibly, all these Cover Texts: Front-Cover
Texts on the front cover, and Back-Cover Texts on the back cover. Both
covers must also clearly and legibly identify you as the publisher of these
copies. The front cover must present the full title with all words of the title
equally prominent and visible. You may add other material on the covers in
addition. Copying with changes limited to the covers, as long as they pre-
serve the title of the Document and satisfy these conditions, can be treated
as verbatim copying in other respects.
If the required texts for either cover are too voluminous to fit legibly,
you should put the first ones listed (as many as fit reasonably) on the actual
cover, and continue the rest onto adjacent pages.
If you publish or distribute Opaque copies of the Document number-
ing more than 100, you must either include a machine-readable Transparent
copy along with each Opaque copy, or state in or with each Opaque copy
a computer-network location from which the general network-using public
has access to download using public-standard network protocols a complete
Transparent copy of the Document, free of added material. If you use the
latter option, you must take reasonably prudent steps, when you begin dis-
tribution of Opaque copies in quantity, to ensure that this Transparent copy
will remain thus accessible at the stated location until at least one year after
the last time you distribute an Opaque copy (directly or through your agents
or retailers) of that edition to the public.
It is requested, but not required, that you contact the authors of the
Document well before redistributing any large number of copies, to give them
a chance to provide you with an updated version of the Document.
4. MODIFICATIONS
You may copy and distribute a Modified Version of the Document under
the conditions of sections 2 and 3 above, provided that you release the Mod-
ified Version under precisely this License, with the Modified Version filling
the role of the Document, thus licensing distribution and modification of the
Modified Version to whoever possesses a copy of it. In addition, you must
do these things in the Modified Version:
A. Use in the Title Page (and on the covers, if any) a title distinct from that
of the Document, and from those of previous versions (which should, if
there were any, be listed in the History section of the Document). You
may use the same title as a previous version if the original publisher of
that version gives permission.
C. State on the Title page the name of the publisher of the Modified
Version, as the publisher.
G. Preserve in that license notice the full lists of Invariant Sections and
required Cover Texts given in the Document’s license notice.
I. Preserve the section Entitled “History”, Preserve its Title, and add to
it an item stating at least the title, year, new authors, and publisher of
the Modified Version as given on the Title Page. If there is no section
Entitled “History” in the Document, create one stating the title, year,
authors, and publisher of the Document as given on its Title Page, then
add an item describing the Modified Version as stated in the previous
sentence.
J. Preserve the network location, if any, given in the Document for public
access to a Transparent copy of the Document, and likewise the network
locations given in the Document for previous versions it was based on.
These may be placed in the “History” section. You may omit a network
location for a work that was published at least four years before the
Document itself, or if the original publisher of the version it refers to
gives permission.
5. COMBINING DOCUMENTS
Build 908 Timestamp 201210051031
0. CONTENTS xvii
You may combine the Document with other documents released under
this License, under the terms defined in section 4 above for modified versions,
provided that you include in the combination all of the Invariant Sections
of all of the original documents, unmodified, and list them all as Invariant
Sections of your combined work in its license notice, and that you preserve
all their Warranty Disclaimers.
The combined work need only contain one copy of this License, and mul-
tiple identical Invariant Sections may be replaced with a single copy. If there
are multiple Invariant Sections with the same name but different contents,
make the title of each such section unique by adding at the end of it, in
parentheses, the name of the original author or publisher of that section if
known, or else a unique number. Make the same adjustment to the section
titles in the list of Invariant Sections in the license notice of the combined
work.
In the combination, you must combine any sections Entitled “History”
in the various original documents, forming one section Entitled “History”;
likewise combine any sections Entitled “Acknowledgements”, and any sections
Entitled “Dedications”. You must delete all sections Entitled “Endorsements”.
6. COLLECTIONS OF DOCUMENTS
You may make a collection consisting of the Document and other docu-
ments released under this License, and replace the individual copies of this
License in the various documents with a single copy that is included in the
collection, provided that you follow the rules of this License for verbatim
copying of each of the documents in all other respects.
You may extract a single document from such a collection, and distribute
it individually under this License, provided you insert a copy of this License
into the extracted document, and follow this License in all other respects
regarding verbatim copying of that document.
an aggregate, this License does not apply to the other works in the aggregate
which are not themselves derivative works of the Document.
If the Cover Text requirement of section 3 is applicable to these copies
of the Document, then if the Document is less than one half of the entire
aggregate, the Document’s Cover Texts may be placed on covers that bracket
the Document within the aggregate, or the electronic equivalent of covers if
the Document is in electronic form. Otherwise they must appear on printed
covers that bracket the whole aggregate.
8. TRANSLATION
Translation is considered a kind of modification, so you may distribute
translations of the Document under the terms of section 4. Replacing Invari-
ant Sections with translations requires special permission from their copy-
right holders, but you may include translations of some or all Invariant Sec-
tions in addition to the original versions of these Invariant Sections. You
may include a translation of this License, and all the license notices in the
Document, and any Warranty Disclaimers, provided that you also include
the original English version of this License and the original versions of those
notices and disclaimers. In case of a disagreement between the translation
and the original version of this License or a notice or disclaimer, the original
version will prevail.
If a section in the Document is Entitled “Acknowledgements”, “Dedica-
tions”, or “History”, the requirement (section 4) to Preserve its Title (sec-
tion 1) will typically require changing the actual title.
9. TERMINATION
You may not copy, modify, sublicense, or distribute the Document except
as expressly provided under this License. Any attempt otherwise to copy,
modify, sublicense, or distribute it is void, and will automatically terminate
your rights under this License.
However, if you cease all violation of this License, then your license from
a particular copyright holder is reinstated (a) provisionally, unless and until
the copyright holder explicitly and finally terminates your license, and (b)
permanently, if the copyright holder fails to notify you of the violation by
some reasonable means prior to 60 days after the cessation.
Moreover, your license from a particular copyright holder is reinstated
permanently if the copyright holder notifies you of the violation by some
reasonable means, this is the first time you have received notice of violation
of this License (for any work) from that copyright holder, and you cure the
violation prior to 30 days after your receipt of the notice.
Termination of your rights under this section does not terminate the li-
censes of parties who have received copies or rights from you under this Li-
cense. If your rights have been terminated and not permanently reinstated,
receipt of a copy of some or all of the same material does not give you any
rights to use it.
11. RELICENSING
“Massive Multiauthor Collaboration Site” (or “MMC Site”) means any
World Wide Web server that publishes copyrightable works and also pro-
vides prominent facilities for anybody to edit those works. A public wiki
that anybody can edit is an example of such a server. A “Massive Multi-
author Collaboration” (or “MMC”) contained in the site means any set of
copyrightable works thus published on the MMC site.
“CC-BY-SA” means the Creative Commons Attribution-Share Alike 3.0
license published by Creative Commons Corporation, a not-for-profit corpo-
ration with a principal place of business in San Francisco, California, as well
as future copyleft versions of that license published by that same organiza-
tion.
“Incorporate” means to publish or republish a Document, in whole or in
part, as part of another Document.
with the Invariant Sections being LIST THEIR TITLES, with the
Front-Cover Texts being LIST, and with the Back-Cover Texts
being LIST.
If you have Invariant Sections without Cover Texts, or some other com-
bination of the three, merge those two alternatives to suit the situation.
If your document contains nontrivial examples of program code, we rec-
ommend releasing these examples in parallel under your choice of free soft-
ware license, such as the GNU General Public License, to permit their use
in free software.
Nociones previas
0.1 Conjuntos
No entraremos en los sutiles detalles de la teoría de conjuntos y asumiremos
que se entiende lo que es un conjunto a nivel intuitivo. En este sentido,
podríamos decir que es un conjunto es una colección de objetos, llamados
elementos del conjunto, que se pueden enumerar o describir mediante alguna
característica común.
1
2 0.1. Conjuntos
0.1.1.4 Propiedades
Sean A, B, C, D conjuntos. Se verifican las siguientes propiedades
1. A ∪ B = B ∪ A.
2. (A ∪ B) ∪ C = A ∪ (B ∪ C) = A ∪ B ∪ C.
3. A ∩ B = B ∩ A.
4. (A ∩ B) ∩ C = A ∩ (B ∩ C) = A ∩ B ∩ C.
5. (A ∪ B) ∩ C = (A ∩ C) ∪ (B ∩ C).
6. (A ∩ B) ∪ C = (A ∪ C) ∩ (B ∪ C).
7. (A ∪ B) × (C ∪ D) = (A × C) ∪ (A × D) ∪ (B × C) ∪ (B × D).
8. (A ∩ B) × (C ∩ D) = (A × C) ∩ (B × D) = (A × D) ∩ (B × C).
3. Unión disjunta
0.1.2 Correspondencias
Definición 0.1.10 Sean A y B dos conjuntos. Una correspondencia de A
en B es un subconjunto del producto cartesiano A × B. ⋄
0.1.2.1 Aplicaciones
Las correspondencias que tienen interés para nosotros serán las llamadas
aplicaciones
f : A −→ B
,
x 7−→ f (x)
f : A −→ B
(i) f es inyectiva.
f : A −→ B
(i) f es sobre.
(iii) Img f = B.
f : A −→ B
(i) f es biyectiva.
Cardinalidad
Una cuestión importante consiste en contar cuantos elementos tiene un conjunto. Si el con-
junto es finito la cosa es sencilla, pero si es infinito aparecen una serie de sutilezas bastantes
sorprendentes. La primera cuestión es dar sentido a la frase contar cuantos elementos tiene un
conjunto en el caso infinito. Para ello hay que establecer la noción de conjuntos coordinables.
Definición 0.1.19 Sean A y B dos conjuntos. Diremos que son coordinables o que tienen el
mismo cardinal si existe una aplicación biyectiva de A en B. Denotaremos este hecho por
#A = #B.
Definición 0.1.20 Sean A y B dos conjuntos. Diremos que el cardinal de A es menor o igual
que el cardinal de B si existe una aplicación de A en B inyectiva. Denotaremos este hecho por
#A ≤ #B.
#A ≤ #B y #B ≤ #A =⇒ #A = #B.
Cuando manejamos conjuntos finitos, podemos definir el cardinal como su número de elementos
y todas las definiciones y resultados anteriores se reducen a trivialidades.
Cuando tratamos con conjuntos infinitos, definir qué es el cardinal, es más delicado. En
este contexto aparecen los números transfinitos. El primer número transfinito se dice que es el
cardinal de N, el conjunto de los números naturales y se denota por ℵ0 . El segundo número
transfinito ℵ1 es el cardinal de P(N), que resulta ser también el cardinal de R.
Y aquí surge una primera dificultad seria y es si se acepta o no la llamada hipótesis del
continuo que dice que no existen números transfinitos entre ℵ0 y ℵ1 , es decir, que no existen
conjuntos A tales que ℵ0 < #A < ℵ1 . Podría afirmarse que Cantor se volvió literalmente loco
intentando demostrar esta hipótesis. Años más tarde se probó que esta cuestión es indecidible.
Es decir, que se pueden hacer matemáticas consistentes tanto suponiendo que es cierta como
suponiendo que no lo es.
Relaciones binarias
Relaciones de equivalencia
Relaciones de orden
0.2 Operaciones
0.2.1 Operaciones internas
1. Definición
2. Semigrupo
3. Grupo
4. Anillo
5. Cuerpo
6. Módulo
7. Espacio vectorial
8. Álgebra
• R, números reales.
• C, números complejos.
Construcción de N, Z y Q
• R1 = R.
⋄
El conjunto cociente R
0 1
(0, 0) X
(0, 0, 0)
Y
(a) ó a ≤ b ó b ≤ a.
(b) a ≤ b y b ≤ a =⇒ a = b.
(c) a ≤ b y b ≤ c =⇒ a ≤ c.
(a) a ≤ b =⇒ a + c ≤ b + c.
(b) a ≤ b y c ≤ d =⇒ a + c ≤ b + d.
(a) a ≤ b y c ≥ 0 =⇒ ac ≤ bc.
(b) a ≤ b y c ≤ 0 =⇒ ac ≥ bc.
(c) Si a 6= 0, b 6= 0, sign(a) = sign(b) y a ≤ b =⇒ 1/a ≥ 1/b.
(d) 0 ≤ a ≤ b =⇒ a2 ≤ b2 .
• ∞ infinito, y
• −∞ menos infinito.
Por convenio
−∞ < a < ∞, ∀ a ∈ R.
3. |ab| = |a||b|.
4. |a + b| ≤ |a| + |b| (desigualdad triangular).
5. |a − b| ≤ |a| + |b|.
(
|a| − |b|
6. |a − b| ≥ ||a| − |b|| ≥ .
|b| − |a|
√
7. a2 = |a|.
⋄
Nota 0.5.4 La propiedad 2. también es cierta con desigualdades estrictas.
√
Para la propiedad 7. adoptamos el convenio de que es la raíz cuadrada
positiva. Cuando queramos expresar la raíz cuadrada negativa escribiremos
√
explícitamente − . ⋄
Nota 0.5.5 El valor absoluto sirve para medir la distancia entre dos números
reales. Si a, b ∈ R,
d(a, b) := |a − b|,
es la longitud del segmento que une a y b, es decir lo que entendemos intuiti-
vamente como distancia entre a y b. Por lo tanto |a| = |a − 0| también puede
interpretarse como la distancia de a al cero. ⋄
Norma en Rn
Al igual que el valor absoluto nos proporciona una forma de medir distancias en R, la norma
nos proporciona un medio de medir distancias en Rn .
1. ||a|| ≥ 0.
2. ||a|| = 0 ⇐⇒ a = 0.
Nota 0.5.8 Para el caso particular n = 1, la norma coincide con el valor absoluto. ⋄
0.5.4 Acotación
Definición 0.5.9 Diremos que un conjunto A ⊆ R es o está acotado si existe
M ∈ R tal que
|a| ≤ M, ∀ a ∈ A.
⋄
∃M ∈ R / − M ≤ a ≤ M, ∀ a ∈ A.
0.5.5 Intervalos
En R podemos considerar ciertos conjuntos especiales que llamaremos inter-
valos y que utilizaremos profusamente.
1. Intervalos cerrados
[a, b] := {x ∈ R / a ≤ x ≤ b} .
2. Intervalos abiertos
[a, b) := {x ∈ R / a ≤ x < b} ,
(a, b] := {x ∈ R / a < x ≤ b} ,
[a, ∞) := {x ∈ R / a ≤ x} ,
(−∞, a] := {x ∈ R / x ≤ a} .
Bolas en Rn
Los conceptos anteriores se generalizan a Rn en cierta medida con la noción de bola.
0.5.6 Entornos en R
Definición 0.5.16 Sean a, δ ∈ R con δ > 0. Llamaremos:
(a − δ, a + δ) = {x ∈ R / |x − a| < δ} .
a−δ a a+δ
a−δ a a+δ
(a, a + δ).
a a+δ
(a − δ, a).
a−δ a
0.5.6.1 Entornos de ±∞
Definición 0.5.17 Llamaremos
Intuitivamente:
En la práctica:
Puntos aislados
Definición 0.5.22 Sea A ⊆ Rn . Diremos que a ∈ A es un punto aislado de A si
∃ δ > 0 / B ∗ (a, δ) ∩ A = ∅.
i2 = −1.
C := {a + ib | a, b ∈ R},
Eje imaginario
b (a, b) = a + ib
a
Eje real
0.5.7.2 Módulo
• |z| ≥ 0.
• |z| = 0 ⇐⇒ z = 0.
• |z| = | − z|.
• |zw| = |z||w|.
• |z + w| ≤ |z| + |w|.
• |z − w| ≥ ||z| − |w||.
0.5.7.3 Conjugación
0.5.7.4 Argumento. Forma polar
0.5.7.5 Exponencial compleja
0.6 Polinomios
0.6.1 Raíces de los polinomios reales y complejos
Cálculo infinitesimal
23
Capítulo 1
Funciones
⋄
Cuando representamos gráficamente el conjunto Graf f en R2 , obtenemos
una línea similar a
Y
f (x)
(0, 0) x X
25
26 1.2. Funciones elementales
|x|
5
0
-5 -4 -3 -2 -1 0 1 2 3 4 5
x2
4
0
-2 -1 0 1 2
x4
16
12
0
-2 -1 0 1 2
x3
8
0
-2 -1 0 1 2
-2
-4
-6
-8
x5
40
30
20
10
0
-2 -1 0 1 2
-10
-20
-30
-40
√
x
2
1.5
0.5
0
0 1 2 3 4
1/x
4
0
-4 -2 0 2 4
-2
-4
ex
8
5
4
0
-2 -1 0 1 2
log x
2
0
0 1 2 3 4 5 6
-1
-2
-3
sen x
1
0.5
0
3π π π 3π
−2π − −π − 0 π 2π
2 2 2 2
-0.5
-1
cos x
1
0.5
0
3π π π 3π
−2π − −π − 0 π 2π
2 2 2 2
-0.5
-1
tan x
6
0
3π π π 3π
−2π − −π − 0 π 2π
2 2 2 2
-2
-4
-6
arc sen x
π
2
0
-1 -0.5 0 0.5 1
π
−
2
arc cos x
π
π
2
0
-1 -0.5 0 0.5 1
ex − e−x
sh x :=
2
30
20
10
0
-4 -3 -2 -1 0 1 2 3 4
-10
-20
-30
ex + e−x
ch x :=
2
30
25
20
15
10
0
-4 -3 -2 -1 0 1 2 3 4
sh x
th x :=
ch x
1
0.5
0
-4 -3 -2 -1 0 1 2 3 4
-0.5
-1
f : A ⊆ Rn −→ Rn , con n ≥ 2.
f: R2 −→ R
•
(x, y) 7−→ ex + y 2 − 2
f: R3 −→ R4
•
(x, y, z) 7−→ (x2 + 1, y 2 + z 3 , x + ey sen z, 3 + xy)
Funciones escalares
Son aquellas para las que m = 1
f : A ⊆ Rn −→ R.
Funciones vectoriales
Son aquellas para las que m > 1
f : A ⊆ Rn −→ Rm , m > 1.
Las funciones vectoriales se pueden descomponer en sus componentes, que son funciones
escalares. Si
f : A ⊆ Rn −→ Rm
,
x 7−→ (f1 (x), f2 (x), . . . , fm (x))
entonces f1 , f2 , . . . , fm son las componentes de f :
fi : A ⊆ Rn −→ R, i = 1, 2, . . . , m.
f: R3 −→ R4
,
(x, y, z) 7−→ (x2 + 1, y 2 + z 3 , x + ey sen z, 3 + xy)
f1 (x, y, z) = x2 + 1
f2 (x, y, z) = y 2 + z 3
f3 (x, y, z) = x + ey sen z
f4 (x, y, z) = 3 + xy
1. Suma
f, g : A ⊆ R −→ R,
definimos
(f + g)(x) = f (x) + g(x), ∀ x ∈ A.
2. Producto
f, g : A ⊆ R −→ R,
definimos
(f g)(x) = f (x)g(x), ∀ x ∈ A.
f : A ⊆ R −→ R, λ ∈ R,
definimos
(λf )(x) = λf (x), ∀ x ∈ A.
f : A ⊆ R −→ R, g : R −→ R,
g ◦ f : A ⊆ R −→ R
.
x 7−→ g ◦ f (x) := g(f (x))
Esquemáticamente
g◦f
f g
R −→ R −→ R
f −1 : B −→ R
,
y 7−→ f −1 (y)
Ejemplo 1.4.4
((−1)n )n∈N = (−1, 1, −1, 1, . . .)
1 1 1 1 1
n
= ( , , , , . . .)
2 n∈N 2 4 8 16
∞
1 1 1 1 1
= ( , , , , . . .)
n n=8 8 9 10 11
∞
n2 n=0 = (0, 1, 4, 9, 16, . . .)
⋄
Aritmética de sucesiones
Definición 1.4.5 Consideraremos las siguientes operaciones con sucesiones
1. Suma
(an )n∈N + (bn )n∈N := (an + bn )n∈N .
2. Producto
(an )n∈N (bn )n∈N := (an bn )n∈N .
1.5 Ejercicios
Ejercicio 1.1 Escribir como combinaciones lineales de las funciones
{sen nx / n ∈ N} ∪ {cos nx / n ∈ N},
Ls expresiones siguientes
1. 3 sen3 x + 5 cos2 x.
2. 7 cos2 x sen4 x − 2 cos5 x sen x.
Continuidad y límites
41
42 2.2. Aritmética de funciones continuas
Nota 2.1.5 Todo lo visto hasta ahora en este capítulo es válido para el caso
en que el dominio de la función es un intervalo, pues un sólo intervalo puede
ser visto también como una unión de intervalos.
De hecho casi todas las cuestiones importantes que atañen a la continui-
dad se enuncian para funciones definidas en intervalos. Aquí hemos preferido
tratar lo anterior en términos de uniones de intervalos, pues con ello se evitan
ciertos problemas técnicos que surgen al intentar extender la continuidad en
un intervalos a conjuntos más generales como las uniones de intervalos. ⋄
( )
I X
Propiedad de Darboux
Teorema del punto fijo
2.5 Discontinuidades I
La continuidad es una propiedad deseable en una función, y la mayor parte de
las funciones que se manejan en las aplicaciones son continuas. Sin embargo,
hay funciones que presentan puntos en los que no son continuas. Estos puntos
se llaman discontinuidades
Definición 2.5.1 Sea f : A −→ R, donde A es una unión de intervalos.
Diremos que a ∈ A es una discontinuidad de f , si f no es continua en a. ⋄
Las discontinuidades suelen representar en los problemas de la vida real,
lugares donde existe alguna dificultad importante. Por eso es necesario cono-
cerlas. Afortunadamente existe una herramienta para estudiarlas: los límites
de funciones en un punto. No debemos sin embargo pensar que la noción de
límite que veremos a continuación sirve solo para estudiar discontinuidades.
f (x) ∈ V, ∀ x ∈ U ∩ A,
entonces diremos que existe el límite de f (x) cuando x tiende hacia a y que
su valor es L. Denotaremos este hecho por
lı́m f (x) = L.
x→a
Ejemplo 2.6.4
• lı́m x2 + 2x − 1 = 7.
x→2
x2 − 4
• lı́m = 3.
x→1 x − 2
• lı́m cos x = 1.
x→0
entonces diremos que existe el límite por la derecha de f (x) cuando x tiende
hacia a y que su valor es L. Denotaremos este hecho por
lı́m f (x) = L.
x→a+
lı́m f (x) = L.
x→a−
∃ lı́m f (x) ⇐⇒ ∃ lı́m+ f (x), ∃ lı́m− f (x) y además lı́m+ f (x) = lı́m− f (x).
x→a x→a x→a x→a x→a
Estudiar su continuidad en x = 1. ⋄
2.8 Discontinuidades II
Podemos clasificar las discontinuidades de una función según el estudio de
ciertos límites.
Definición 2.8.1 Sea f : A −→ R y a ∈ R ∪ {−∞, ∞} verificando que
existe al menos W entorno reducido de a con W ⊆ A. Supongamos que a es
una discontinuidad es f . Diremos que a es
1. Una discontinuidad de primera especie, si se verifica una de las dos
condiciones siguientes
(a) Existe lı́m f (x) y es finito. En este caso diremos que a es una
x→a
discontinuidad evitable de f .
(b) Existen lı́m− f (x) y lı́m+ f (x) y ambos son finitos pero distintos.
x→a x→a
En este caso diremos que a es una discontinuidad de salto finito
de f .
Ejemplo 2.8.2
1 1
4. lı́m n
= lı́m n = 0
x→∞ x x→−∞ x
5. lı́m xn = ∞
x→∞
(
∞, si n par
6. lı́m xn =
x→−∞ −∞, si n impar
Proposición 2.9.6
1. Cambio x = y + a .
Sea a ∈ R y f definida al menos en un entorno reducido de a. Se tiene
que
lı́m f (x) = lı́m f (y + a)
x→a y→0
1
2. Cambio x = .
y
3. Cambio x = by .
2.9.4 Aritmética
2.9.4.1 Suma
Sea a ∈ R ∪ {−∞, ∞} y f, g definidas al menos en un entorno reducido de
a, tales que existen los límites de f y g en a y con
Entonces
lı́m (f + g)(x) = c + d.
x→a
• c 6= −∞ y d = ∞, ó
• c = ∞ y d 6= −∞,
lı́m (f + g)(x) = ∞.
x→a
• c 6= ∞ y d = −∞, ó
• c = −∞ y d 6= ∞,
• c = −∞ y d = ∞, ó
• c = ∞ y d = −∞,
entonces no se sabe nada sobre lı́m (f + g)(x). En este caso diremos que
x→a
se tiene una indeterminación de tipo ∞ − ∞
2.9.4.2 Producto
Sea a ∈ R ∪ {−∞, ∞} y f, g definidas al menos en un entorno reducido de
a, tales que existen los límites de f y g en a y con
Entonces
1. Si c, d ∈ R, entonces existe el límite de f g en a y
lı́m (f g)(x) = ∞.
x→a
2.9.4.3 Cociente
Sea a ∈ R ∪ {−∞, ∞} y f, g definidas al menos en un entorno reducido U de
a con g(x) 6= 0, ∀ x ∈ U, tales que existen los límites de f y g en a y con
Entonces
f c
lı́m (x) = .
x→a g d
f
lı́m (x) = 0.
x→a g
• c = ∞ y d > 0 y d 6= ∞, ó
• c = −∞ y d < 0 y d 6= −∞,
f
lı́m (x) = ∞.
x→a g
• c = ∞ y d < 0 y d 6= −∞, ó
• c = −∞ y d > 0 y d 6= ∞
f
lı́m (x) = −∞.
x→a g
f
lı́m (x) = ∞.
x→a g
f
lı́m (x) = −∞.
x→a g
2.9.4.4 Exponenciales
Sea a ∈ R ∪ {−∞, ∞} y f, g definidas al menos en un entorno reducido U de
a con f (x), ∀ x ∈ U, de forma que no existe x ∈ U / f (x) = g(x) = 0 y tales
que existen los límites de f y g en a y con
Entonces
• c ∈ R y d ∈ R − {0}, ó
• c ∈ R − {0} y d ∈ R,
lı́m f (x)g(x) = cd .
x→a
• 0 ≤ c < 1 y d = ∞, ó
• c > 1 y d = −∞, ó c = ∞ y d < 0
lı́m f (x)g(x) = 0.
x→a
• 0 ≤ c < 1 y d = −∞, ó
• c > 1 y d = ∞, ó
• c=∞yd>0
lı́m f (x)g(x) = ∞.
x→a
f
4. Si c = 1 y d ∈ {∞, −∞}, entonces no se sabe nada sobre lı́m (x). En
x→a g
este caso diremos que se tiene una indeterminación de tipo 1∞
f
5. Si c = ∞ y d = 0, entonces no se sabe nada sobre lı́m (x). En este
x→a g
caso diremos que se tiene una indeterminación de tipo ∞0
f
6. Si c = d = 0, entonces no se sabe nada sobre lı́m (x). En este caso
x→a g
diremos que se tiene una indeterminación de tipo 00
c
=0
±∞
±∞
d 6= 0, ±∞ ⇒ = s(d)(±∞)
d
c 6= 0 ⇒ 0
f c s(c)∞, Si g > 0 en un 0
lı́m (x) =
g d ent. red. de a ∞
x→a
∞
c −s(c)∞, Si g < 0 en un
=
0 ent. red. de a
No existe en cualquier
otro caso
d > 0 ⇒ ∞d = ∞
d < 0 ⇒ ∞d = 0
∞
1∞
c>1⇒c =∞
lı́m f (x)g(x) = cd ∞0
x→a c > 1 ⇒ c−∞ = 0
00
0 ≤ c < 1 ⇒ c∞ = 0
0 ≤ c < 1 ⇒ c−∞ = ∞
f (x)
lı́m = 1.
x→a g(x)
f (x) ∼ g(x) si x → a
Además si
lı́m f (x) = lı́m g(x) = 0,
x→a x→a
f p (x) ∼ g p (x) si x → a.
h(x) h(x)
2. lı́m = lı́m .
x→a f (x) x→a g(x)
bx
2. lı́m = ∞,
x→∞ xc
xc
3. lı́m = ∞.
x→∞ log x
Nota 2.9.12 Todas las propiedades anteriores son válidas, cuando tengan
sentido, para límites laterales, cambiando, allá donde aparezcan, las palabras
entorno reducido por entorno por la izquierda o entorno por la derecha para
los límites por la izquierda y por la derecha respectivamente ⋄
2.11 Ejercicios
Ejercicio 2.1 ¿Existe alguna función f : R −→ R discontinua en cada
punto de R?
f (x) f (x)
lı́m n
= lı́m n = 0.
x→−∞ x x→∞ x
1. Calcular
lı́m (xn + f (x))
x→∞
y
lı́m (xn + f (x))
x→−∞
lı́m+ xr log x
x→0
√ 3
lı́m 1+ x2 arc sen x2
x→0
x2 log(1 + x) − 3 cos x
lı́m
x→0 ex+3
Ejercicio 2.18 Calcular
6
lı́m
x→0 4 + e−1/x
cos2 x − cotg2 x
lı́m
x→π/2 (1 − sen x) cos 3x
Derivadas
63
64 3.1. Derivada en un punto
f (a + h) − f (a)
lı́m
h→0 h
existe y es finito, en cuyo caso se tiene que su valor coincide con f ′ (a). ⋄
f (x) − f (a)
Y − f (a) = (X − a).
x−a
Si acercamos x hacia a, sucede que, geométricamente, dicha recta secante va
aproximándose a la recta tangente a la gráfica de f en el punto a, situación
que tratamos de ilustrar en la siguiente figura
( )
a x3 x2 x1 X
lo que conduce a
f (x) − f (a)
lı́m (Y − f (a)) = lı́m lı́m (X − a),
x→a x→a x−a x→a
y finalmente a
Y − f (a) = f ′ (a)(X − a),
y si nuestra intuición geométrica es correcta, ésta debe ser la ecuación de la
recta tangente a f en a. Entonces podemos afirmar que f ′ (a) es la pendiente
de la recta tangente a f en a.
f ∈ C∞ (I) .
1. f + g es derivable en a y además
2. αf es derivable en a, ∀ α ∈ R y además
3. f g es derivable en a y además
1. f + g es derivable en I y además
(f + g)′ = f ′ + g ′ .
2. αf es derivable en I, ∀ α ∈ R y además
(αf )′ = αf ′.
3. f g es derivable en I y además
(f g)′ = f ′ g + f g ′.
f ′g − f g′
(f /g)′ = .
g2
f (x) x
lı́m+ = lı́m+ = lı́m+ 1 = 1.
x→0 x x→0 x x→0
Comolos dos límites laterales existen pero son distintos, se concluye que
f (x)
lı́m ,
x→0 x
Entonces, si existe
f ′ (x)
lı́m = L ∈ R ∪ {−∞, ∞},
x→a g ′ (x)
3.5.2 Monotonía
Definición 3.5.3 Sean I ⊆ R un intervalo y f : I −→ R una función.
Diremos que f es
3.5.4 Extremos
3.5.4.1 Extremos relativos
Definición 3.5.10 Sean A ⊆ R, a ∈ A y f : A −→ R. Diremos que a es
Entonces
2. Si n es par:
P = {x ∈ A / f ′(x) = 0}.
5,0 (sen x)′ |x=0 (sen x)′′ |x=0 2 (sen x)′′′ |x=0 3
sin x −→ sen 0 + x+ x + x +
1! 2! 3!
(sen x)IV |x=0 4 (sen x)V |x=0 5
+ x + x
4! 5!
Ahora sólo tenemos que calcular cada una de las derivadas anteriores, eva-
luarlas en 0 y sustituir
sen 0 = 0
(sen x)′ |x=0 = (cos x)|x=0 = cos 0 = 1
(sen x)′′ |x=0 = (− sen x)|x=0 = − sen 0 = 0
(sen x)′′′ |x=0 = (− cos x)|x=0 = − cos 0 = −1
(sen x)IV |x=0 = (sen x)|x=0 = sen 0 = 0
(sen x)V |x=0 = (cos x)|x=0 = cos 0 = 1
Por lo que
5,0 1 1 5
sin x −→ x − x3 + x
6 120
⋄
f (n+1) (θ)
f (x) = Pn,a (x) + (x − a)n+1 .
(n + 1)!
Al término
f (n+1) (θ)
Rn,a (x, θ) = (x − a)n+1
(n + 1)!
se le llama resto de Taylor de orden n de f en a. ⋄
5. Puesto que f (x) − Pn,a (x) = Rn,a (x, θ), se tiene que
n
x
X xk
e Pn,0 (x) =
k=0
k!
n
X x2k+1
sen x P2n+1,0 (x) = (−1)k
k=0
(2k + 1)!
n
X x2k
cos x P2n,0 (x) = (−1)k
k=0
(2k)!
n
X xk
log(1 + x) Pn,0 (x) = (−1)k+1
k=1
k
n
α
X α k
(1 + x) Pn,0(x) = x
k=0
k
n
1 X
Pn,0 (x) = xk
1−x k=0
α
α(α−1)···(α−k+1) α
Para cada α ∈ R, k ∈ N se define k = k! , y 0 = 1.
n,a
f (x) −−−−−→ P (x − a)
Variable x x
x=y+a y =x−a
y
n,0
f (y + a) −−−−−→ P (y)
Variable y
y2 y3
P (y) = y − + .
2 3
(x − 1)2 (x − 1)3
P (x − 1) = (x − 1) − + .
2 3
Build 908 Timestamp 201210051031
3. Derivadas 81
Combinaciones lineales
Sean I ⊆ R un intervalo abierto con 0 ∈ I, λ, µ ∈ R, n ∈ N y f, g ∈
Cn (I). Si P (x) es el polinomio de Taylor de orden n en 0 de la función
f (x) y Q(x) es el polinomio de Taylor de orden n en 0 de la función g(x),
entonces λP (x) + µQ(x) es el polinomio de Taylor de orden n de λf + µg en
0. Esquemáticamente:
n,0
f (x) −→ P (x) n,0
n,0
=⇒ λf (x) + µg(x) −→ λP (x) + µQ(x).
g(x) −→ Q(x)
Producto
Sean I ⊆ R un intervalo abierto con 0 ∈ I, n ∈ N y f, g ∈ Cn (I). Si P (x) es el
polinomio de Taylor de orden n en 0 de la función f (x) y Q(x) es el polinomio
de Taylor de orden n en 0 de la función g(x), entonces P (x)Q(x) truncado a
grado n es el polinomio de Taylor de orden n de f g en 0. Esquemáticamente:
n,0
f (x) −→ P (x) n,0
n,0
=⇒ f (x)g(x) −→ P (x)Q(x), truncado a grado n.
g(x) −→ Q(x)
Ejemplo 3.6.7 Calcular el polinomio de Taylor de orden 3 en 0 de
sen x
h(x) = .
1−x
Presentamos la solución esquemáticamente
x3
3,0
sen x −→ x −
6 =⇒
1 3,0 2 3
−→ 1 + x + x + x
1−x
x3 5 5 1 1
P (x)Q(x) = (x − )(1 + x + x2 + x3 ) = x + x2 + x3 + x4 − x5 − x6
6 6 6 6 6
y tomando su truncación a grado 3, concluimos
3,0 5
h(x) −→ x + x2 + x3 .
6
⋄
Cociente
Sean I ⊆ R un intervalo abierto con 0 ∈ I, n ∈ N y f, g ∈ Cn (I) con
g(x) 6= 0, ∀ x ∈ I − {0}.
Sean
• Pf (x) 6= 0 el polinomio de Taylor de orden n en 0 de f .
• Pg (x) 6= 0 el polinomio de Taylor de orden n en 0 de g.
• mf el grado del término de menor grado de Pf (x).
• mg el grado del término de menor grado de Pg (x).
Se supone que mg ≤ mf .
En este caso se tiene que
f (x)
lı́m ,
x→0 g(x)
Ejemplo 3.6.9 Retomamos las funciones del Ejemplo 3.6.7, pero ahora in-
terpretadas como un cociente. Calculemos el polinomio de Taylor de orden 3
en 0 de
sen x
h(x) = .
1−x
Tenemos que
x3
3,0
sen x −→ x −
6 =⇒
3,0
1 − x −→ 1 − x
3,0 5
h(x) −→ x + x2 + x3 ,
6
ya que haciendo la división de series con el criterio de parada descrito:
Paso 1:
x −x3 /6 1−x
−x +x2 x
x2 −x3 /6
Paso 2:
x −x3 /6 1−x
−x +x2 x + x2
x2 −x3 /6
−x2 +x3
5x3 /6
Paso 3:
x −x3 /6 1−x
−x +x2 x + x2 + 5x3 /6
x2 −x3 /6
−x2 +x3
5x3 /6
−5x3 /6 +5x4 /6
5x4 /6
Nótese como en realidad no es necesario calcular el último resto. Se ha in-
cluido aquí por claridad, para que el algoritmo de división quede completo y
se vea que el siguiente término del cociente ya sería de grado 4. ⋄
3,0 1 3 5
(1 + x)−1/2 −→ 1 − x + x2 − x3 =⇒
2 8 16
6,0 1 3 5
h(x) = (1 + (−x2 ))−1/2 −→ 1 + x2 + x4 + x6 .
2 8 16
⋄
Derivadas
Sean I ⊆ R un intervalo abierto con 0 ∈ I, n ∈ N y f ∈ Cn (I). Si P (x) es el
polinomio de Taylor de orden n en 0 de la función f (x), entonces P ′ (x) es el
polinomio de Taylor de f ′ (x) de orden n − 1 en 0. Esquemáticamente:
n,0 n−1,0
f (x) −→ P (x) =⇒ f ′ (x) −−−→ P ′(x).
Integrales
Sean I ⊆ R un intervalo abierto con 0 ∈ I, n ∈ N y f ∈ Cn (I). Si R xP (x) es el
polinomio de Taylor de orden
R x n en 0 de la función f (x), entonces 0 P (t) dt es
el polinomio de Taylor de 0 f (t) dt de orden n + 1 en 0. Esquemáticamente:
Z x Z x
n,0 n+1,0
f (x) −→ P (x) =⇒ f (t) dt −−−→ P (t) dt.
0 0
y
f (n) (a) 6= 0.
Entonces, se tiene que
f (n) (a)
f (x) ∼ (x − a)n si x → a.
n!
⋄
3.7 Ejercicios
Ejercicio 3.1 Calcular la derivada de h(x) = f (x)g(x)
x2 = x cos x − sen x.
2x − log x − 2 = 0.
Ejercicio 3.10 Hállese una cota del error cometido al considerar la aproxi-
mación
341/5 ≈ 2
esen x − ecos x
lı́m .
x→π/4 sen x − cos x
log(cos x) + 1 − cos x
lı́m ,
x→0 xp
sea finito y distinto de cero.
de modo que en esta zona la Enterprise sólo puede viajar a 1/9 de su velocidad
máxima. En esos momentos, Kirk recibe la orden de regresar a espacio de la
Federación, cuya frontera con el territorio Klingon es el plano y = 0, en el
menor tiempo posible. Calcular la trayectoria que debe seguir la Enterprise.
Ejercicio 3.17 El beneficio anual de una empresas es
B(x, y) = 6 − 6x − y 2,
con x, y ∈ R parámetros económicos que verifican x2 + y 2 = 1. Determinar
los valores de x, y para que el beneficio sea máximo.
Ejercicio 3.18 Un alambre de longitud L se corta en dos trozos de longitu-
des a y b. Con un trozo se hace una cuadrado y con el otro una circunferencia.
¿Cómo ha de cortarse el alambre para que la suma de las áreas de las dos
figuras sea máxima?¿Y para que sea mínima?
Ejercicio 3.19 La cilindrada de un motor de explosión es nπx2 y/4, siendo n
el número de cilindros, x el diámetro e y la carrera. Se quiere desarrollar una
nueva familia de motores de 6 cilindros y 2430 cm3 , cuyo par motor máximo
viene dado por
πyx2 (x − 1)
23 + cos .
1620
Por razones constructivas, los cilindros deberán tener un diámetro mayor o
igual que 2π y una carrera mayor o igual que 180π −3 . Determinar el valor
del diámetro para que el motor proporcione un par máximo lo más elevado
posible.
Ejercicio 3.20 Hallar la longitud de los lados del triángulo isósceles de pe-
rímetro 1 que tiene área máxima.
f (x) = x2 sen x.
Ejercicio 3.22 Calcular una cota del error que se comete al aproximar
1 1 1
e≈2+ + + .
2! 3! 4!
h2
| sen(a + h) − (sen a + h cos a)| ≤ .
2
3. Calcular
arc sen x − x − x3 /6
lı́m .
x→0 sen3 x(1 − cos 2x)
ex sen x − x − x2
lı́m .
x→0 x2 + x log(1 − x)
Integración
4.1 Primitivas
Definición 4.1.1 Sea I ⊆ R un intervalo abierto y f : I −→ R. Diremos
que f admite primitiva en I si existe una función F : I −→ R derivable en
I tal que
F ′ (x) = f (x), ∀ x ∈ I.
En este caso diremos que F es una primitiva de f en I. ⋄
df := f ′ (x) dx,
93
94 4.2. Cálculo de primitivas
xk+1 dx
Z Z
k
x dx = + C, k 6= 1 = log |x| + C
k+1 x
1 x
Z Z
x x
e dx = e + C ax dx = a + C, a > 0, a 6= 1
log a
Z Z
sen x dx = − cos x + C cos x dx = sen x + C
dx dx
Z Z
= − cotg x + C = − tg x + C
sen2 x cos2 x
dx dx
Z Z
= arc tg x + C √ = arc sen x + C
1 + x2 1 − x2
además
Z Z Z
(λf (x) + µg(x)) dx = λ f (x) dx + µ g(x) dx.
2. Plantear la ecuación
P (x) A11 A12 A1m1
= + 2
+···+
Q(x) x − r1 (x − r1 ) (x − r1 )m1
A21 A22 A2m2
+ + + · · · +
x − r2 (x − r2 )2 (x − r2 )m2
+ ...+
Ap1 Ap2 Apmp
+ + 2
+···+
x − rp (x − rp ) (x − rp )mp
′ (4.2)
a1,0 + a1,1 x + · · · + a1,2k1 −3 x2k1 −3
M1 x + N1
+ +
((x − α1 )2 + β12 )k1 −1 (x − α1 )2 +β12
′
a2,0 + a2,1 x + · · · + a2,2k2 −3 x2k2 −3
M2 x + N2
+ 2
+
((x − α2 )2 + β2 )k2 −1 (x − α2 )2 +β22
+ ...+
′
as,0 + as,1 x + · · · + as,2ks −3 x2ks −3
Ms x + Ns
+ 2 2 k −1
+
((x − αs ) + βs ) s (x − αs )2 +βs2
escrita como
p mi s
P (x) X X Aij X Mi x + Ni
= +
Q(x) i=1 j=1 (x − ri ) j
i=1
(x − αi )2 + βi2
s ′ (4.3)
X pi (x)
+
i=1
((x − αi )2 + βi2 )ki −1
Debemos entender que los términos del último sumatorio para los cuales
ki = 1, son 0.
3. Reducir el segundo miembro de la ecuación (4.3) a común denominador
Q(x), cosa que siempre es posible por la ecuación (4.1) e igualando
numeradores, la ecuación (4.3) nos conduce a
P (x) =
p mi s
X X Q(x) X Q(x)
Aij + (Mi x + Ni )
i=1 j=1
(x − ri ) j
i=1
(x − αi )2 + βi2 (4.4)
s
X Q(x)
+ qi (x)
i=1
((x − αi2 ) + βi2 )ki
Donde qi (x) = (p′i (x)((x − αi )2 + βi2 ) − 2(ki − 1)(x − αi )pi (x)) .
El segundo miembro de la ecuación (4.4) es un polinomio porque los
términos
Q(x) Q(x) Q(x)
, 2
y
(x − ri )j (x − αi )2 + βi ((x − αi )2 + βi2 )ki
son polinomios por la fórmula (4.1)
4. A partir de la igualdad entre polinomios (4.4) podemos igualar coe-
ficientes o realizar otra serie de operaciones para obtener un sistema
de ecuaciones lineales compatible y determinado cuyas incógnitas son
los coeficientes indeterminados introducidos en (4.2). Se resuelve este
sistema lineal y se reescribe (4.2) con los coeficientes indeterminados
sustituidos por las soluciones
Después del proceso anterior se tendría, por la regla de integración por des-
composición,
p mi Z s Z
P (x) Aij Mi x + Ni
Z X X X
dx = dx + dx
Q(x) i=1 j=1
(x − ri ) j
i=1
(x − αi )2 + βi2
s Z ′ (4.5)
X pi (x)
+ dx,
i=1
((x − αi )2 + βi2 )ki −1
donde ahora los coeficientes Aij, ai,j , Mi y Ni ya serían valores concretos cal-
culados antes. Cada una de las integrales que aparecen en (4.5) son fácilmente
resolubles:
Aij log |x − ri |, si i = 1
Aij
Z
dx =
(x − ri )j (1 − j)Aij
si i > 1
,
(x − ri )j−1
Mi x + Ni Mi Mi αi + Ni x − αi
Z
2 2
dx = log |(x − αi )2 + βi2 | + arc tg
(x − αi ) + βi 2 βi βi
Z ′
pi (x) pi (x)
dx = .
((x − αi )2 + βi2 )ki −1 ((x − αi )2 + βi2 )ki −1
P (x) Q(x)
,
R(x) C(x)
con grado de R(x) menor que el grado de Q(x). En estas condiciones, se tiene
P (x) R(x)
= C(x) + ,
Q(x) Q(x)
P (x) R(x)
Z Z Z
dx = C(x) dx + dx,
Q(x) Q(x)
Nota 4.2.4 Todo el proceso anterior sólo se puede llevar a cabo en el caso en
que se puedan obtener con facilidad las raíces del denominador de la función
racional, lo cual sabemos que no siempre es posible. ⋄
Por ello es mejor considerar una segunda alternativa, que consiste en evaluar
la ecuación (4.6) en cinco valores de x sencillos que incluyan las raíces reales
del denominador de la función racional. Estos valores podrían ser por ejemplo
2, −1, 0, 1 y −2. De esta manera obtendríamos fácilmente el sistema
+24B = 120
+45D = −135
−8A +4B +16D +4N = −32 (4.8)
−10A +10B +5D +2M +2N = 31
32A −8B +128D +32M −16N = −344
A = 1, B = 5, D = −3, M = 2, N = 1,
de donde
11x3 − 20x2 + 72x − 32
Z
dx =
x5 − 3x4 + 4x3 − 8x2 + 16
Z
1 5 3 2x + 1
= + − + dx
x − 2 (x − 2)2 x + 1 x2 + 4
1 5 3 2x + 1
Z Z Z Z
= dx + 2
dx − dx + dx
x−2 (x − 2) x+1 x2 + 4
5 1 x
= log |x − 2| − − 3 log |x + 1] + log(x2 + 4) + arc tg + C.
x−2 2 2
⋄
Igualando numeradores
dx dx
Z Z
=− +3 = 3 log |x − 2| − log |x − 1/2| + C.
x − 1/2 x−2
⋄
x8 x2 − 1
−x8 −x6 x6 − x4 + x2 − 1
6
−x
x6 +x4
x4
−x4 −x2
−x2
x2 +1
1
por lo que
x8 1
Z Z
2
dx = x6 − x4 + x2 − 1 + dx =
1+x 1 + x2
dx
Z Z Z Z Z
5 4 2
= x dx − x dx + x dx − dx + =
1 + x2
x7 x5 x3
= − + − x + arc tg x + C.
7 5 3
⋄
x3 + 8 = (x + 2)(x2 − 2x + 4).
A = −1/4, M = −3/4, N = 1
Por lo tanto
1 − x2
Z
−1/4 3/4x − 1
Z
dx = − dx =
x3 + 8 x + 2 x2 − 2x + 4
−1/4 3/4x − 1
Z Z
= dx − dx =
x+2 x2− 2x + 4
√ √ !
1 3 3 3
= − log |x + 2| − log(x2 − 2x + 4) + arc tg (x − 1) + C.
4 8 12 3
dx
Z
√ .
x2 − 2 3x − 1
1 A B
√ √ = √ + √ =
(x − 3 + 2)(x − 3 − 2) x− 3+2 x− 3−2
√ √
A(x − 3 − 2) + B(x − 3 + 2)
= √ √
(x − 3 + 2)(x − 3 − 2)
Igualando numeradores
√ √
1 = A(x − 3 − 2) + B(x − 3 + 2)
√ √
y evaluando en 3 + 2, 3 − 2, se obtiene el sistema lineal
4B = 1
−4A = 1
Por lo tanto
Z
dx −1/4 1/4
Z
√ = √ + √ dx =
x2 − 2 3x − 1 x− 3+2 x− 3−2
1 dx 1 dx
Z Z
=− √ + √ =
4 x− 3+2 4 x− 3−2
x − √3 − 2
1 √ 1 √ 1
− log |x − 3 + 2| + log |x − 3 − 2| + C = log √ + C.
4 4 4 x − 3 + 2
se tiene que
Z Z
xe dx = xe − ex dx = xex − ex + C = ex (x − 1) + C.
x x
⋄
Nota 4.2.17 Muchas integrales de la forma
Z
xn f (x) dx, n ∈ N,
⋄
La dificultad técnica del cambio de variable, consiste en encontrar el cam-
bio de variable específico que resuelve una determinada integral. Esto suele
requerir mucha experiencia en el cálculo de primitivas. No obstante hay al-
gunos casos en los que existe un cambio normalizado de variable que permite
reducir la integral dada a otra de resolución conocida. Esto es lo que vamos
a ver a continuación.
Hagamos el cambio
dt
t = 3x + 2 =⇒ dt = 3 dx =⇒ dx = ,
3
de donde
1 1 1
Z Z
cos(3x + 2) dx = cos(t) dt = sen(t) + C = sen(3x + 2) + C.
3 3 3
⋄
donde k ∈ N, p1 , . . . , pk ∈ Z, q1 , . . . , qk ∈ N, a, b, c, d ∈ R con a 6= 0 ó c 6= 0 y
R(X0 , X1 , . . . , Xk ) es una función racional en k + 1 variables.
El cambio que hay que efectuar es
1/m
ax + b
t= ,
cx + d
donde m es el mínimo común múltiplo de q1 , . . . , qk .
Por lo tanto
√
x−1 t3 t8
Z Z Z
5
√ dx = 6t dt = 6 dt =
1+ 3 x−1 1 + t2 1 + t2
(Por el ejemplo 4.2.8)
7 5
t t t3
= 6( − + − t + arc tg t) + C =
7 5 3
6 6
= (x − 1) − (x − 1)5/6 + 2(x − 1)1/2 + 6(x − 1)1/6 +
7/6
7 5
+ 6 arc tg(x − 1)1/6 + C.
⋄
t = tg(x/2),
2t 1 − t2 2 dt
sen x = 2
, cos x = 2
, dx = .
1+t 1+t 1 + t2
Además, en algunos casos particulares, se pueden realizar otros cambios que
en ocasiones conducen a una integral más sencilla:
t = sen x.
t = cos x.
t = tg x,
de donde se deduce
t 1 dt
sen x = √ , cos x = √ , dx =
1+t2 1+t2 1 + t2
1 − t2 2 dt
tg(x/2) = t =⇒ cos x = 2
, dx = ,
1+t 1 + t2
por lo que
dx 1 2
Z Z
= 2 dt =
1 + cos x 1 + 1+t2 1 + t2
1−t
1 + t2
Z Z
=2 dt = 2 dt = 2t + C = 2 tg(x/2) + C.
(1 + t2 + 1 − t2 )(1 + t2 )
⋄
cos3 x
Z
dx.
8 + sen3 x
Es racional en seno y coseno e impar en seno, así que que haremos el cambio
por lo que
cos3 x (1 − sen2 x) cos x 1 − t2
Z Z Z
dx. = dx = dt =
8 + sen3 x 8 + sen3 x 8 + t3
(Por el Ejemplo 4.2.9)
√ √ !
1 3 3 3
= − log |2 + t| − log(t2 − 2t + 4) + arc tg (t − 1) + C =
4 8 12 3
1 3
= − log |2 + sin x| − log(sin2 x − 2 sin x + 4)+
4 8
√ √ !
3 3
+ arc tg (sin x − 1) + C
12 3
⋄
por lo que
1+t
√
sen x + cos x
Z Z
2
dx = 1+t dt =
cos3 x(1 + cos2 x) 1 1 2
1+ (1 + t )
(1 + t2 )3/2 1 + t2
(1 + t)(1 + t2 )2 (1 + t)(1 + t2 )
Z Z
= dt = d=
(1 + t2 )(2 + t2 ) t2 + 2
(Por el Ejemplo 4.2.11)
√ √ !
t2 1 2 2
= + t − log(t2 + 2) − arc tg t +C =
2 2 2 2
√ √ !
tg2 x 1 2 2
+ tg x − log(tg2 x + 2) − arc tg tg x + C
2 2 2 2
⋄
R √
4.2.4.4 Integrales de la forma R(x, ±a2 ± x2 ) dx
Para las integrales de la forma
Z √
R(x, ±a2 ± x2 ) dx,
por lo que
dx dt dt
Z Z Z
√ = r = =
a 1 + x2 sen t sen2 t sen t
cos2 t 1+
cos t cos2 t
(Racional en seno y coseno:y = cos t, dy = − sen t dt)
dy
Z
=− =
1 − y2
(por el Ejemplo 4.2.12)
1 1 − y 1 1 − cos t
log
+ C = log +C =
2 1 + y 2 1 + cos t
sen t
2 2 2
x= ⇒ x cos t = 1 − cos t
cos t
1
⇒ (1 + x2 ) cos2 t = 1 ⇒ cos t = √
1 + x2
√
1 − 1 + x2
1
= log √ + C.
2 1 + 1 + x 2
dx
Z
√ .
x2 (x2 − 2) x2 − 4
Haremos el cambio
2 2 sen t
x= =⇒ dx = dt,
cos t cos2 t
Build 908 Timestamp 201210051031
4. Integración 115
por lo que
2 sen t
Z
dx
Z dt
√ = cos2 t r =
x2 (x2 − 2) x2 − 4
4 4 4
−2 −4
cos2 t cos2 t cos2 t
2 sen t cos5 t
Z
= p dt =
cos2 t(16 − 8 cos2 t) 4(1 − cos2 t)
1 cos3 t 1 cos2 t cos t
Z Z
= dt = dt =
8 2 − cos2 t 8 1 + sen2 t
x + 1/2 = t =⇒ dx = dt,
por lo que
dx dt
Z Z
√ = p
(x + 1) x2 + x + 1 (t + 1/2) t2 + 3/4
√ !
√ 3 dz
t = ( 3/2) tg z ⇒ dt = =
2 cos2 z
dz
Z
=2 √ =
3 sen z + cos z
1 − y2
2y 2 dy
tg(z/2) = y ⇒ cos z = , sen z = , dz =
1 + y2 1 + y2 1 + y2
dy
Z
= −4 √ =
y 2 − 2 3y − 1
(por el Ejemplo 4.2.14)
y − √3 + 2 tg(z/2) − √3 + 2
= log √ + C = log √ +C =
y − 3 − 2 tg(z/2) − 3 − 2
tg(arc tg((2/√3)t)/2) − √3 + 2
= log √ √ +C =
tg(arc tg((2/ 3)t)/2) − 3 − 2
tg(arc tg((2/√3)(x + 1/2))/2) − √3 + 2
= log √ √ +C
tg(arc tg((2/ 3)(x + 1/2))/2) − 3 − 2
Z b
f (x) dx
a
a b X
a b X
a b X
Nota 4.3.1
Rb
1. Si f es integrable en [a, b], entonces a f (x) dx ∈ R. Si f (x) ≥ 0, ∀ x ∈
[a, b], su valor es el área determinada por la gráfica de f en [a, b] y si
f (x) ≤ 0, ∀ x ∈ [a, b] su valor es el área cambiada de signo.
2. Si λ, µ ∈ R,
Z b Z b Z b
(λf (x) + µg(x)) dx = λ f (x) dx + µ g(x) dx.
a a a
3. Si c ∈ (a, b),
Z b Z c Z b
f (x) dx = f (x) dx + f (x) dx.
a a c
o escrito abreviadamente
Z b Z b
u dv = uv|ba − v du.
a a
⋄
Ejemplo 4.3.13
Z π/2
x cos x dx =
0
u = x, du =Z dx
dv = cos x dx, v = cos x dx = sen x
Z π/2
= x sen x|π/2
0 − sen x dx =
0
π π π
= sen(π/2) − 0 sen 0 + cos x|π/2
0 = + cos(π/2) − cos 0 = − 1.
2 2 2
⋄
u(x) = v(t),
por lo que
u′ (t)
du = dv =⇒ u′(x) dx = v ′ (t) dt =⇒ dx = dt,
v ′ (t)
y que
x = u−1 (v(t)), t = v −1 (u(x)),
y por tanto
x = a =⇒ t = v −1 (u(a))
x = b =⇒ t = v −1 (u(b))
No obstante, esta fórmula suele usarse en dos casos particulares que descri-
biremos a continuación.
⋄
Ejemplo 4.3.16
Z 2
x cos x2 dx =
0
1 !
x2 = t ⇒ 2x dx = dt ⇒ x dx = dt
2
x = 0 ⇒ t = 0, x = 2 ⇒ t = 4.
4
1 1 1 sen 4
Z
= cos t dt = sen t|40 = (sen 4 − sen 0) = .
2 0 2 2 2
⋄
4.4.2 Áreas
Proposición 4.4.6 Sean a, b ∈ R con a < b y f : [a, b] −→ R integrable. El
área compendida entre la gráfica de f y el eje OX entre a y b es
Z b
|f (x)| dx.
a
⋄
Corolario 4.4.7 Sean a, b ∈ R con a < b y f, g : [a, b] −→ R integrable. El
área compendida entre las gráficas de f y g entre a y b es
Z b
|f (x) − g(x)| dx.
a
⋄
{(x, y, z) ∈ R3 / a ≤ x ≤ b, y 2 + z 2 ≤ (f (x))2 }.
Si dicho límite
⋄
1
dx
Z
Ejemplo 4.5.6 . Es impropia de tipo 2 porque la función no está
0 x
definida en x = 0. El intervalo de integración es por lo tanto (0, 1], donde la
función es continua. Tenemos
Z 1 Z 1
dx dt
= lı́m+ =
0 x x→0 x t
= lı́m+ log t|1x = lı́m+ − log x = ∞.
x→0 x→0
3. Sean d0 = a y dn = b.
4. Podemos así descomponer nuestra integral como
Z b n Z ci
X Z di
f (x) dx = f (x) dx + f (x) dx ,
a i=1 di−1 ci
Z
1/3
= 3 (1 − y)e + e dy = −3ye−y + C = −3x1/3 e−x + C
−y −y
Ejemplo 4.5.11
Z ∞
∞
e−x dx = −e−x 1 = lı́m −e−x + e−1 = e−1 .
1 x→∞
o escrito abreviadamente
Z b Z b
−
u dv = uv|ba+ − v du.
a a
Ejemplo 4.5.13
Z 1
x2 log x dx =
0
1
u = log x, du = dx
Zx
2 2 x3
dv = x dx, v = x dx =
3
3
1− Z 1 2 3
−
3 1
x x x x 1
= log x − dx = lı́m+ log x − 0 − = − .
3 + 0 3 0 x→0 3 9 + 9 0
Ejemplo 4.5.15
Z 1
dx
2 1/x
=
0 x e
1 dx 1 1
t = ⇒ dt = − 2 , lı́m+ = ∞, lı́m− = 1.
x x x→0 x x→1 x
Z 1 Z ∞
∞
= −e−t dt = e−t d = −e−t 1 = lı́m −e−t + e−1 = e−1 .
∞ 1 t→∞
cd ⋄
Nota 4.5.16 Una integral no impropia puede ser tratada como una impro-
pia. En ese caso resulta ser convergente y su valor es el mismo que el que
tiene como integral de Riemann ⋄
Nota 4.5.17 Las aplicaciones geométricas son también válidas con integra-
les impropias ⋄
4.6 Ejercicios
Ejercicio 4.1 Sean a, b ∈ R − {0}. Calcular
Z
eax cos bx dx.
2x3 − x2 + 5x
Z
dx.
(x2 + 1)2
dx
Z
√ √ .
x+2+ 3x+2
dx
Z
√ . a 6= 0.
x2 − a2
dx
Z
√ .
(x + 1)(1 + 1 − 2x − x2 )
dx
Z
√ .
2x2 − 2x + 5
sen x cos x
Z
√ dx.
2 − sen4 x
ex
Z
√ dx.
e2x + ex + 1
sec2 x
Z
p dx.
1 + tg2 x + 4 tg x
3x2 + 2x + 1
Z
dx.
(x − 1)(x2 + x + 1)
x + (2x − 1)2/3
Z
dx.
(2x − 1)1/2 + 1
sen4 x cos2 x d.
Z
Ejercicio 4.102 Sea Rf una función par enR el intervalo [−a, a] con a ∈ R −
a a
{0}. Si llamamos I = 0 f (x) dx, calcular −a f (x) dx
Calcular
lı́m T (x, t).
a→0
1 1 x sen x
Z
f (c) = e + dx.
2 0 x
log(1 + x2 ) π/2
Z
cos5 t dt, si x 6= 0
2
cos (x − π/2) +
f (x) = x 0 .
0, si x = 0
Ejercicio 4.120 Calcular el volumen del toro que se genera al girar el círculo
x2 + y 2 ≤ 9 alrededor de la recta x = 4. Calcular también la superficie de
dicho toro.
Ejercicio 4.122 Sean a ∈ R con a > 0, f (x) = cos x, x ∈ [0, π/2] y g(x) =
a sen x, x ∈ [0, π/2]. Hallar el valor de a para que g divida a la región del
primer cuadrante de R2 delimitada por f en dos partes de igual área.
Ejercicio 4.126 Calcular el volumen limitado por las superficies que gene-
ran las parábolas y = x2 y x = y 2 al girar alrededor de la recta x = 4.
f : (0, ∞) −→ R g : (0, ∞) −→ R
s
log(x + 1) , xex ,
x 7−→ x 7−→ p
xα (ex − 1)3
con α ∈ R
Ejercicio 4.128 Calcular el área delimitada por las curvas f (x) = xe−x y
g(x) = x2 e−x en el intervalo [0, ∞].
Ejercicio 4.129 Estudiar y calcular si es pertinente
Z 1
x
√ dx.
2 4
0 (1 + x ) 1 − x
Álgebra lineal
147
Capítulo 5
5.1 Generalidades
Definición 5.1.1 Sean n, m ∈ N. Una matriz de orden n × m es una dispo-
sición rectangular ordenada de nm números reales en n filas (líneas horizon-
tales) y m columnas (líneas verticales). Tal disposición se suele rodear con
paréntesis o corchetes. ⋄
149
150 5.1. Generalidades
A3×4 .
Nótese que hemos indicado el orden de la matriz como subíndice para re-
saltar que es una matriz 5 × 4. Cuando representamos una matriz con una
letra mayúscula, se suele denotar a sus elementos con la letra minúscula co-
rrespondiente con dos subíndices. El primer subíndice indica la fila a la que
pertenece el elemento y el segundo la columna. Así, si llamamos A a la matriz
anterior
1 3 5 0
0 −1 1 3
A= −3 6 −2 1 ,
0 0 0 3
−2 0 0 1
diremos por ejemplo que a23 = 1 o que a41 = −3.
Cuando los elementos de una mariz sean desconocidos o genéricos, po-
dremos usar también ciertas adaptaciones de las notaciones anteriores. Por
ejemplo, para denotar a una matriz A de orden 3 × 4 genérica, podremos
poner cualquiera de las siguientes notaciones
a11 a12 a13 a14
A3×4 = aij 3×4 = aij i = 1, . . . , 3 = a21 a22 a23 a24 .
j = 1, . . . , 4 a31 a32 a33 a34
También pueden emplearse matrices de orden genérico. Por ejemplo, si n, m ∈
N, podemos expresar que A es una matriz de orden n × m de las siguientes
maneras:
a11 · · · a1m
= ... .. .
An×m = aij = aij .
n×m i = 1, . . . , n
j = 1, . . . , m
an1 · · · anm
Definición 5.2.1 Una matriz de orden 1 ×n, es decir que sólo tiene una fila,
se llama matriz fila. Del mismo modo, una matriz de orden n × 1, es decir
que sólo tiene una columna, se llama matriz columna. ⋄
⋄
Dada una matriz An×m sus filas son las n matrices fila que se pueden
construir con cada una de las filas de A. Sus columnas son las m matrices
columna que se pueden construir con cada una de las columnas de A.
Ejemplo 5.2.3 Sea
1 12 −4 27 0
A = 2 −3 31 0 0 .
1 1 1 2 5
La primera fila de A es
1 12 −4 27 0 .
La segunda fila de A es
2 −3 31 0 0 .
La tercera fila de A es
1 1 1 2 5 .
Las columnas primera, segunda, tercera, cuarta y quinta de A, son
1 12 −4 27 0
2 , −3 , 31 , 0 , 0 ,
1 1 1 2 5
Las matrices cuadradas tienen una importancia destacada y por ello merecen
que les dediquemos una atención especial.
Definición 5.2.8 Si A = aij n×n es una matriz cuadrada de orden n, la
diagonal principal (o simplemente la diagonal ) de A es
a11 a22 · · · ann .
0
3 1 4
1
3 6 1,
3 2 1 0
4 5 0 1
A la luz del ejemplo anterior vemos la razón por la que se da tal nombre a
la diagonal de una matriz. Sus elementos son los que aparecen sobre una de
las diagonales del cuadrado que representa la forma de la matriz.
0 3 1 4
1 3 6 1
3 2 1 0 ,
4 5 0 1
4 5 0 1
⋄
Definición 5.2.14 Se dice que una matriz cuadrada es una matriz diagonal
si todos sus elementos no diagonales son cero. ⋄
Observemos que cada elemento diagonal de una matriz diagonal pueden ser
cero o no. Es interesante también pensar que una matriz es diagonal si y solo
si es triangular inferior y superior simultáneamente
Definición 5.2.16 Una matriz escalar es una matriz diagonal donde además
todos los elementos diagonales son iguales. ⋄
Ejemplo 5.2.19
1 0 0 0
1 0 0
1 0 0 1 0 0
I2 = , I3 = 0 1 0 ,
I4 = .
0 1 0 0 1 0
0 0 1
0 0 0 1
⋄
Lo que quiere decir esta definición, es que una matriz simétrica, presenta si-
metría respecto de la diagonal principal. Es decir, que si doblásemos la matriz
por su diagonal, las posiciones de la matriz que quedasen juntas contendrían
exactamente los mismos valores. Notemos que los elementos de la diagonal de
una matriz simétrica no tienen por qué verificar ninguna condición específica.
Ejemplo 5.2.21 Las siguientes matrices son simétricas
−1 3 1 2
1 3 5
3 2 1 , 3
0 4 −6 .
1 4 2 7
5 1 0
2 −6 7 9
⋄
Definición 5.2.22 Diremos que una matriz cuadrada A = aij n×n
es an-
tisimétrica si aij = −aji , para cada i = 1, . . . , n y j = 1, . . . , n. ⋄
Matrices dispersas
En las aplicaciones del mundo real suelen utilizarse matrices muy grandes. Afortunadamente es
muy común que tales matrices tengan muchos ceros, lo cual implica a veces ventajas de tipo
computacional. A tales matrices, cuyos elementos son casi todos cero, se las llama matrices
dispersas (sparse). En ocasiones los elementos no nulos de tales matrices presentan una cierta
estructura y esto suele facilitar su manejo. Las matrices triangulares pueden ser consideradas
como un ejemplo de este tipo.
Sin embargo las matrices cuadradas dispersas de mayor interés son quizá las llamadas
matrices banda
Definición 5.2.24 Diremos que una matriz cuadrada aij n×n es una matriz banda si existen
k, l ∈ N ∪ {0} tales que aij = 0 para cada j > i + k ó j < i − l.⋄
Observemos que en una matriz banda los únicos elementos que pueden ser no nulos son los de
la diagonal principal y quizá algunas diagonales por encima y/o por debajo de ellas.
Dentro de las matrices banda existe una clase bastante utilizada:
Definición 5.2.26 Diremos que una matriz cuadrada aij n×n es una matriz tridiagonal si
aij = 0 siempre que j > i + 1 ó j < i − 1. ⋄
Una matriz tridiagonal es una matriz banda en la que los únicos elementos que pueden ser no
nulos son los de la diagonal principal y los de las diagonales que están inmediatamente por
encima y por debajo de ella.
es tridiagonal.
También es tridiagonal la matriz
4 5 0 0 0 0 0 0
0 7 0 0 0 0 0 0
0 1 2 1 0 0 0 0
0 0 5 3 4 0 0 0
.
0 0 0 0 0 3 0 0
0 0 0 0 7 3 7 0
0 0 0 0 0 4 1 1
0 0 0 0 0 0 0 3
5.3 Submatrices
Dada una matriz, es posible construir otras matrices más pequeñas tomando
algunas filas y columnas de ella.
5.3.1 Bloques
Un tipo especial de submatrices que tiene cierta importancia son los bloques,
llamados también cajas en ciertos contextos.
A veces es útil dividir una matriz en bloques disjuntos. Esto se suele indicar
trazando una serie se líneas entre las filas y las columnas donde se produce
tal división.
Ejemplo 5.3.5
−1 9 45 3 0 78 −5 −27
5
4 0 28 −80 8 27 32
7 22 12 −36 55 7 −6 73
A=
25 −65
.
8 4 88 −75 34 −2
0 1 3 −83 0 32 12 3
3 5 100 87 −2 12 23 4
Los bloques en los que se ha dividido esta matriz son
−1 9 45 3 0 78 −5 −27
, ,
5 4 0 28 −80 8 27 32
7 22 12 −36 55 7 −6 73
25 −65 8 4 88 , −75 34 −2 ,
0 1 3 −83 0 32 12 3
3 5 100 87 −2 , 12 23 4 .
⋄
Cuando se dispone de unas cuantas matrices de órdenes compatibles, también
se puede a veces formar una matriz más grande utilizando aquéllas como
bloques.
Ejemplo 5.3.6 Sean las matrices
1 0 5 4 3
A = 3 2 , B= 0
1 0 ,
1 −1 4 3 5
−1 1 3 3 3
C= , D= .
2 0 6 7 8
Para resaltar esta característica, las matrices diagonales por bloques suelen
representarse enmarcando los bloques diagonales como sigue
1 0 0 0 0 0
0 2 3 1 0 0
0 0 4 1 0 0
0 1 0 1 0 0 .
0 0 0 0 2 4
0 0 0 0 1 1
5.4.1 Aritmética
Por el momento disponemos de dos tipos de objetos. De un lado los números
reales y de otro las matrices de números reales. En lo que sigue llamaremos a
menudo escalares a los números reales. Un escalar es un objeto esencialmente
5.4.1.2 Suma
La siguiente operación que definiremos es la suma de matrices.
Definición 5.4.3 Sean A = aij n×m y B = bij n×m dos matrices del
Este tipo de fórmulas lineales pueden ser simplificadas utilizando las mismas
leyes que las que sirven para fórmulas de números reales, pues el producto
de un escalar por una matriz y la suma de matrices verifican las mismas
propiedades básicas que el producto y la suma de números reales. Así por
ejemplo, la fórmula anterior puede acabarse escribiendo después de ciertas
manipulaciones como
5.4.1.4 Producto
La siguiente operación que estudiaremos es la multiplicación de matrices. Su
naturaleza es mucho menos intuitiva que la de las operaciones anteriores, y
quizá debiéramos entenderla como una operación que sirve para transformar
una matriz siguiendo unas reglas que están codificadas en la otra matriz. No
seremos capaces de entender el alcance de esta afirmación hasta más adelante.
Ejemplo 5.4.8
0
−1
3
3 4 −2 2 1 1 0 =
−2
−1
3 · 0 + 4 · (−1) − 2 · 3 + 2 · 0 − 1 · 2 − 1 · 1 = −13 .
Nótese que para multiplicar una matriz fila por una matriz columna ambas
tienen que tener la misma longitud, si no el producto no está definido.
Definición 5.4.9 Sean A = aij n×m y B = bij m×p dos matrices. La
matriz producto de A por B es una matriz C = cij n×p . Cuyo elemento cij
C = AB,
entonces
n
X
cij = aik bkj .
k=1
Nota 5.4.10 Para que el producto de dos matrices esté definido el número
de columnas del primer factor ha de ser igual al número de filas del segundo.
⋄
−4 −3 −7 −1
−1 7 3 −5
6 −4 5 −9 9 1 3
2
7 −5
=
0 −7
6 −7 9 3
−6 −9 −7 2
−8 96 49 −9
35 −97 −60 −49 .
84 −153 −70 −84
3 −2 −1 3 3 7 −5 4 30
−1 −3 −1 6 5 −1 = −23 −13 3 .
1 −5 −8 2 −5 −7 −43 18 68
−7/4 7/4 −5/4 2/5
3 −1/2 −1/2 −3 −2/7 −8/5 1/2
−5/4 −5/7 7 −4/3 −3/7 −1 7/8
=
9/5 2 1/7 −1 2 −9/5 3/2
−3 8/7 −2 1/2 2/3 −7/3 −2/3
6/7 −4/5 1/8 9/8
−149/60 71/30 −713/480
−51/14 18/5 37/16
12149/882 −2134/315 365/36
−184/105 −1472/525 1483/420
−485/147 1279/210 −23/6
269/245 −479/140 −467/560
⋄
Nota 5.4.12
1. Aunque el producto de dos matrices AB esté bien definido, el producto
BA ni siquiera tiene por qué existir, ya que el número de columnas de
B no tiene por qué coincidir con el número de filas de A.
Tenemos que
3 20 −45
AB = ,
−55 −81 109
pero BA no está definido. ⋄
Tenemos
9 −5 6
1 −7
AB = y BA = −28 40 −59 .
−11 24
−3 15 −24
mientras que
−7 −1 −1 −9 −6 3 48 51 −17
−4 2 9 9 −9 −5 = 108 6 −13 .
−7 −7 −3 6 0 1 −18 105 11
⋄
⋄
A pesar de todas estas aparentes contrariedades, el producto de matrices es
muy útil, y realmente su definición sí es natural en cierto sentido, pero esto
es algo que iremos viendo poco a poco.
In A = A y que AIm = A,
Proposición 5.4.18
A(B + C) = AB + AC.
(B + C)A = BA + CA.
5.4.2 Trasposición
Definición 5.4.20 Sea A = aij n×m . La matiz traspuesta de A, denotada
por At es una matriz m × n definida por
At = aji m×n .
10. (At )t = A.
Proposición 5.4.23
• Si λ ∈ R y A es una matriz
λAt = (λA)t
(A + B)t = At + Bt .
(AB)t = Bt At .
Lema 5.4.24 La matriz fila 1 × m que resulta de multiplicar una matriz fila
A1×n por una matriz Bn×m , es combinación lineal de las filas de B con matriz
de escalares A. ⋄
Lema 5.4.28 Sean n, m, p, s, t ∈ N con 1 < s < n, 1 < t < p, A una matriz
n × m y B una matriz m × p, y sean
Entonces
A1 A1 B1 A1 B2
AB = B1 B2 = .
A2 A2 B1 A2 B2
Demostración:
Es muy sencilla a partir de la fórmula de multiplicación de matrices de 5.4.9
⋄
Entonces
B1
AB = A1 A2 = A1 B1 + A2 B2 .
B2
Demostración:
Es también sencilla a partir de la fórmula de multiplicación de matrices de
5.4.9 ⋄
Vemos como las matrices se pueden multiplicar por bloques (cuando los blo-
ques sean compatibles en tamaño) usando las reglas de multiplicación de
matrices que utilizaríamos si los bloques tuvieran todos tamaño 1 × 1, salvo
por el hecho de que no se pueden commutar los bloques en cada uno de los
productos que aparecen.
A cada una de las operaciones que resultan de aplicar cada una de las reglas
anteriores las denotaremos de la siguiente manera
fiλ .
fij .
1 0 1 3 1 0 1 3
2 0 3 0 −2 2
0 3 0
f3
−1 −1 −1 2 −2
1 −−→ 2 2 .
1 0 0 −1 1 0 0 −1
−2 1 1 3 −2 1 1 3
7/8 0 4/9 5/9 9/7 2/3
−4/3 4 −3 7/9 3/5 −9/8 −2/3
f13
− −−→
0 −5/6 −1 −1/5 8/5 3/7
−1 9 −5 0 −1 −1/6
7/8 5/9 10/9 31/45 23/105 8/21
−4/3 4 −3 7/9 3/5 −9/8
.
0 −5/6 −1 −1/5 8/5 3/7
−1 9 −5 0 −1 −1/6
Definición 5.5.3 Diremos que una operación elemental por filas f es inver-
sible, cuando siempre que se aplique a una matriz A para obtener una matriz
B, exista otra operación elemental por filas (que no depende de las matrices
A y B) que aplicada a B nos proporcione A. A tal operación la llamaremos
la inversa de f y será denotada por (f )−1 . ⋄
1/λ
2. (fiλ )−1 = fi .
de partida.
3 −1 0 −1 3
−3 −4 3 5 −3
f12 f12
−2 −1 1 2 −→ −2
−1 1 2 −− →
1 3 −2 −1 1 3 −2 −1
3 −1 0 −1
−2 −1 1 2
1 3 −2 −1
3 −1 0 −1 2
3 −1 0 −1 1/2
f3 f3
−2 −1 1 2 −→ −2
−1 1 2 −− →
1 3 −2 −1 2 6 −4 −2
3 −1 0 −1
−2 −1 1 2 .
1 3 −2 −1
3 −1 0 −1 1 3 −2 −1
f13 f13
−2 −1 1 2 −→ −2 −1 1 2 −→
1 3 −2 −1 3 −1 0 −1
3 −1 0 −1
−2 −1 1 2 .
1 3 −2 −1
⋄
Así pues una operación elemental por filas transforma una matriz en otra.
También es posible realizar sucesivas operaciones elementales por filas a una
matriz para obtener finalmente otra.
Ejemplo 5.5.6 Realizaremos varias operaciones elementales por filas suce-
sivas a la matriz de partida
3 0 2 −1 0 −2 −1 0 −2
−2 2 1 f13 −2 2 1 1/3
0 2 5
−2
f21 f3
− → − −→ − − →
−1 0 −2 3 0 2 3 0 2
2 −2 3 2 −2 3 2 −2 3
−1 0 −2 −1 0 −2
0 2 5 f31 0
1 2 5
− → .
1 0 2/3 0 0 −4/3
2 −2 3 2 −2 3
⋄
El orden en el que se hacen las operaciones elementales por filas es muy
importante, ya que en general no commutan.
Ejemplo 5.5.7 Realicemos dos operaciones elementales por filas a una ma-
triz
1 0 0 2 1 2 −2 0 1 2 −2 0
1 2 −2 0 − f12 1 0 0 2 1
−1
f41 0 0 2
1 → − −→ .
1 3 2 1 1 3 2 1 1 3 2
−2 −2 1 0 −2 −2 1 0 −3 −4 3 0
Ahora realizaremos las mismas operaciones elementales por filas, pero en
distinto orden
1 0 0 2 1 0 0 2 1 2 −2 0
1 2 −2 0
− 1
−1
f41 2 −2 0 f12 1 0 0 2
1 −→ − → .
1 3 2 1 1 3 2 1 1 3 2
−2 −2 1 0 −3 −2 1 −2 −3 −2 1 −2
Vemos como las matrices finales obtenidas en uno y otro caso son distintas.
⋄
A veces es posible realizar ciertos bloques de operaciones elementales por filas
de forma conjunta, sin tener que escribir las matrices transformadas inter-
medias para cada operación por separado. Esto solo puede hacerse cuando
cada operación elemental no cambie ninguna fila que influya en alguna de las
operaciones siguientes del bloque
Ejemplo 5.5.8 Las siguientes operaciones elementales por filas
1 −1 2 1 −1 2 1 −1 2
1 −1 0 0 −2 0 −2
0
−1
f21 1
f31 0 −3
f41
− −→ − → − −→
−1 1 −1 −1 1 −1 0 0 1
3 1 −1 3 1 −1 3 1 −1
1 −1 2
0
0 −2 ,
0 0 1
0 4 −7
podrían haberse realizado conjuntamente
1 −1 2 1 −1 2
1 −1 0 −1
f21 1 , f −3
, f31 41 0 0 −2
− −− − − −− → ,
−1 1 −1 0 0 1
3 1 −1 0 4 −7
sin necesidad de escribir las dos matrices intermedias, debido a que cada ope-
ración elemental por filas sólo cambia filas que no intervienen en las siguientes
operaciones elementales por filas. ⋄
Definición 5.5.9 Diremos que una matriz A es equivalente por filas a una
matriz B si es posible obtener B realizando una cantidad finita de operaciones
elementales por filas sucesivas sobre A. ⋄
Demostración:
Probemos cada una de las propiedades por separado
f1 , f2 , . . . , fk ,
A las matrices anteriores se les llama matrices elementales por filas de orden
n. Cada una de ellas se dice que corresponde a la operación elemental por
filas que sirve para generarla. ⋄
Ejemplo 5.5.14 Vamos a realizar una operación elemental por filas sobre
una cierta matriz
1 0 0 1 0 0
−1 −2 1 2
f41 −1 −2 1
− → .
1 3 −2 1 3 −2
−2 −2 −1 0 −2 −1
1. Si i 6= j
Fλij F−λ −λ λ
ij = Fij Fij = In .
2. Si λ 6= 0
1/λ 1/λ
Fλi Fi = Fi Fλi = In .
1/λ 1/λ
Escribiremos (Fλi )−1 = Fi y (Fi )−1 = Fλi .
3. Si i 6= j.
Fij Fij = In .
Escribiremos (Fij )−1 = Fij
Demostración:
Sea f1 una operación elemental por filas y f2 su inversa. Sean F1 y F2 las
matrices elementales por filas correspondientes respectivamente.
Por 5.5.4 es evidente que
f1 f2
In −
→ F1 −
→ In .
Pero por 5.5.13 se tiene que
f2
F1 −
→ F2 F1 ,
de donde se sigue que
F2 F1 = In .
Haciendo un razonamiento similar, que se deja al lector, se demuestra que
F1 F2 = In .
Ahora particularizando a cada tipo de operación elemental por filas, se tiene
el resultado buscado. ⋄
Debido a estas propiedades se dice que las matrices elementales por filas son
inversibles. Con la ayuda de estas matrices, se extenderá más adelante la
noción de inversibilidad a otras matrices.
Ejemplo 5.5.16 Veamos en algunos ejemplos cómo se cumplen las propie-
dades de 5.5.15
1 0 0 0 1 0 0 0 1 0 0 0
0 1 0 0 0 1 0 0 0 1 0 0
F341 F−3
41 = 0 0 1 0 0 0 1 0 = 0 0 1 0 = I4 .
3 0 0 1 −3 0 0 1 0 0 0 1
1 0 0 0 1 0 0 0 1 0 0 0
0 1 0 0 0 1 0 0 0 1 0 0
F−3 3
41 F41 =
= = I4 .
0 0 1 0 0 0 1 0 0 0 1 0
−3 0 0 1 3 0 0 1 0 0 0 1
1 0 0 0 1 0 0 0 1 0 0 0
1/5
0 5 0 0 0 1/5 0 0 0 1 0 0
F52 F2 = 0 0 1 0 0 0 1 0 = 0 0 1 0 = I4 .
0 0 0 1 0 0 0 1 0 0 0 1
1 0 0 0 1 0 0 0 1 0 0 0
1/5 0 1/5 0 0 0 5 0 0 0 1 0 0
F2 F52 = 0 0 1 0 0 0 1 0 = 0 0 1 0 = I4 .
0 0 0 1 0 0 0 1 0 0 0 1
1 0 0 1 0 0 1 0 0
F23 F23 = 0 0 1 0 0 1 = 0 1 0 = I3 .
0 1 0 0 1 0 0 0 1
⋄
Proposición 5.5.17 Si A y B son dos matrices n × m equivalentes por filas,
existen dos matrices P y Q cuadradas de orden n, verificando las siguientes
propiedades
1. A = PB
2. B = QA
3. Tanto P como Q son productos de matrices elementales por filas.
4. PQ = QP = In . Escribiremos P = Q−1 y Q = P−1
Demostración:
Como A y B son equivalentes por filas, existen f1 , f2 , . . . , fk−1, fk operaciones
elementales por filas tales que
f1 ,f2 ,...,fk−1 ,fk
A −−−−−−−−−→ B.
Sean F1 , F2 , . . . , Fk−1, Fk las matrices elementales por filas correspondientes
respectivamente a f1 , f2 , . . . , fk−1, fk . Por la interpretación matricial dada en
5.5.13, se tiene entonces que
B = Fk Fk−1 · · · F2 F1 A.
Llamemos
P = Fk Fk−1 · · · F2 F1 .
Se tiene que
(fk )−1 ,(fk−1 )−1 ,...,(fk−1 )−1 ,(fk )−1
B −−−−−−−−−−−−−−−−−−−−→ A.
Además las matrices elementales por filas correspondientes a
(fk )−1 , (fk−1 )−1 , . . . , (fk−1 )−1 , (fk )−1 ,
son
(Fk )−1 , (Fk−1)−1 , . . . , (Fk−1)−1 , (Fk )−1 ,
respectivamente. llamando
Q = (Fk )−1 , (Fk−1)−1 , . . . , (Fk−1)−1 , (Fk )−1 ,
es muy sencillo comprobar que se verifican las propiedades requeridas. ⋄
A cada una de las operaciones que resultan de aplicar cada una de las reglas
anteriores las denotaremos de la siguiente manera
cλij .
cλi .
cij .
Una vez establecidas las definiciones anteriores, que son similares a las ope-
raciones elementales por filas, podemos establecer una relación entre las ope-
raciones elementales por filas y por columnas.
entonces
Bt2 = B1 .
Demostración:
Es inmediata teniendo en cuenta que las columnas de una matriz coinciden
con las filas de su traspuesta y viceversa. ⋄
Nota 5.5.23 A partir de 5.5.22 se deduce que para hacer una cierta cantidad
de operaciones elementales por columnas a una matriz, bastaría con hacer las
correspondientes por filas a su traspuesta y finalmente trasponer el resultado.
También puede deducirse que para hacer una cierta cantidad de operacio-
nes elementales por filas a una matriz, bastaría con hacer las correspondientes
por columnas a su traspuesta y finalmente trasponer el resultado.
En todo caso, lo que nos dice 5.5.22 es que basta con desarrollar una
teoría de operaciones elementales por filas para, mediante la trasposición,
tener una teoría de operaciones elementales por columnas. ⋄
1/λ
2. (cλi )−1 = ci .
C = Ft .
Demostración:
Se sigue de 5.5.22 y del hecho de que Itn = In , para cada n ∈ N. ⋄
y se tiene el resultado. ⋄
Obsérvese que 5.5.30 marca la primera diferencia importante entre las ope-
raciones elementales por filas y por columnas.
Ejemplo 5.5.31 Vamos a realizar una operación elemental por columnas
sobre una matriz
1 0 0 1 2 0
−1 −2 1 c221 −1 −4 1
− → .
1 3 −2 1 5 −2
−2 −2 −1 −2 −6 −1
1. Si i 6= j
Cλij C−λ −λ λ
ij = Cij Cij = In .
2. Si λ 6= 0
1/λ 1/λ
Cλi Ci = Ci Cλi = In .
1/λ 1/λ
Escribiremos (Cλi )−1 = Ci y (Ci )−1 = Cλi .
3. Si i 6= j.
Cij Cij = In .
Escribiremos (Cij )−1 = Cij .
Debido a estas propiedades se dice que las matrices elementales por columnas
son inversibles.
1. A = BP
2. B = AQ
Demostración:
Como A y B son equivalentes por columnas, por 5.5.27 At y Bt son equiva-
lentes por filas. Luego por 5.5.17 existen P1 y Q1 verificando
1. A = P1 B
2. B = Q1 A
4. P1 Q1 = Q1 P1 = Im .
Definición 5.5.34 Diremos que dos matrices son equivalentes si una resulta
de la otra tras realizar una cantidad finita de operaciones elementales por filas
y otra cantidad finita de operaciones elementales por columnas. ⋄
Las matrices equivalentes verifican las mismas propiedades que las matrices
equivalentes por filas o columnas.
1. A = P1 BP2
2. B = Q1 AQ2
5. P1 Q1 = Q1 P= In .
6. P2 Q2 = Q2 P2 = Im .
Demostración:
Se sigue fácilmente de 5.5.17 y 5.5.33. ⋄
*
0
p ≤ n y p ≤ m.
p ≤ n y p ≤ m.
La definición 5.6.5 hace que todo lo que se diga para matrices escalonadas
por filas sea válido para matrices escalonadas por columnas, cambiando filas
por columnas. En lo que sigue procuraremos en la medida de lo posible,
enunciar todas las definiciones y resultados en términos de filas y columnas,
pero cuando realicemos una demostración nos centraremos en los resultados
por filas.
Definición 5.6.8 Diremos que una matriz escalonada por filas (resp. por
columnas) E es una forma escalonada por filas (resp. por columnas) de una
matriz A si son equivalentes por filas (resp. por columnas). ⋄
Es decir, si mediante operaciones elementales por filas (resp. por columnas)
podemos pasar de la matriz A a una matriz escalonada por filas (resp. por
columnas) E, entonces E es una forma escalonada por filas (resp. por colum-
nas) de A.
i=1;j=1;
while i<n and j≤m {
h=i;
while ahj = 0 and h<n {
h=h+1;
}
if ahj 6=0 then {
Hacer fih ;
for k from i+1 to n {
−a /aij
Hacer fki kj ;
}
i=i+1;
}
j=j+1;
}⋄
Algoritmo 5.6.10 Para obtener una matriz escalonada por columnas equi-
valente a A = aij n×m , aplicar el algoritmo 5.6.9 a At y trasponer la matriz
obtenida a la salida de dicho algoritmo. ⋄
Corolario 5.6.11 Toda matriz tiene forma escalonada por filas (resp. por
columnas). ⋄
Se obtiene
8 −8 −10 10 8 17
0
0 0 0 0 −3/2
0
0 0 0 0 −15/2
.
0 0 0 −2 −1 −6
0 0 0 2 4 7
Incrementamos i = 2 y j = 2. Como el elemento 2, 2 y todos los que están
bajo él son cero, incrementamos j = 3. Como debajo el elemento 2, 3 y todos
f24 .
Obtenemos
8 −8 −10 10 8 17
0
0 0 −2 −1 −6
0
0 0 0 0 −15/2 .
0 0 0 0 0 −3/2
0 0 0 2 4 7
Ahora hacemos cero bajo el elemento 2, 4, para lo cual basta con realizar
1
f52 .
y se tiene
8 −8 −10 10 8 17
0
0 0 −2 −1 −6
0
0 0 0 0 −15/2 .
0 0 0 0 0 −3/2
0 0 0 0 3 1
ahora se incrementa i = 3 y j = 5. El elemento 3, 5 es cero, pero bajo él está
el 5, 5 que es distinto de cero. Por tanto intercambiamos las filas 3 y 5 con
f35 ,
para obtener
8 −8 −10 10 8 17
0
0 0 −2 −1 −6
0 0 0 0 3 1 .
0 0 0 0 0 −3/2
0 0 0 0 0 −15/2
Como bajo el elemento 3, 5 sólo hay ceros, no hay que hacer nada así que
incrementamos j = 6 e i = 4. El elemento 4, 6 es distinto de cero. Hacemos
ceros bajo él mediante
−15/3
f54 ,
y obtenemos
8 −8 −10 10 8 17
0
0 0 −2 −1 −6
0 0 0 0 3 1 ,
0 0 0 0 0 −3/2
0 0 0 0 0 0
Definición 5.6.17 Diremos que una matriz es una matriz escalonada redu-
cida por columnas si su traspuesta es una matriz escalonada reducida por
filas. ⋄
Definición 5.6.18 Diremos que una matriz escalonada reducida por filas
(resp. por columnas) E es una forma escalonada reducida por filas (resp. por
columnas) de una matriz A si son equivalentes por filas (resp. por columnas).
⋄
El siguiente algoritmo nos permite pasar de una matriz escalonada por filas
a una matriz escalonada reducida por filas equivalente a ella por filas.
Algoritmo 5.6.19 Sea E = eij una matriz escalonada por filas. Sea p
su número de filas no nulas (o dicho de otra forma su número de colum-
nas pivotales). Sean k1 , . . . , kp sus índices de columna pivotales. Por tanto
e1,k1 , . . . , epkp son sus pivotes, todos ellos distintos de cero por definición.
Realizaremos sobre E las siguientes operaciones elementales por filas
for i from 1 to p {
1/e
Hacer fi iki ;
for j from 1 to i-1 {
−ejk
Hacer fji i ;
}
}
⋄
Algoritmo 5.6.20 Sea E = eij una matriz escalonada por columnas.
Para obtener una matriz escalonada reducida por columnas equivalente a
ella, aplicar el algoritmo 5.6.19 a E t y trasponer el resultado que se obtenga.
⋄
Corolario 5.6.21 Toda matriz A tiene forma escalonada reducida por filas
(resp. por columnas).
Demostración:
Por 5.6.11 existe una matriz escalonada por filas (resp. por columnas) E equi-
valente a A. Ahora por 5.6.19 (resp. por 5.6.20) E es equivalente a una matriz
R escalonada reducida por filas (resp. por columnas). Por las propiedades de
las matrices equivalentes por filas 5.5.10 (resp. por columnas 5.5.26), A es
equivalente por filas (resp. por columnas) a R, y se tiene el resultado. ⋄
Teorema 5.6.22 La forma escalonada reducida por filas (resp. por colum-
nas) de una matriz, es única. ⋄
y se tiene
1 −1 −5/4 5/4 1 17/8
0 0 0 1 1/2 3
0 0 0 0 1 1/3
.
0 0 0 0 0 1
0 0 0 0 0 0
Ahora aplicamos
−5/4
f12
y tenemos
1 −1 −5/4 0 3/8 −13/8
0 0 0 1 1/2 3
0 0 0 0 1 1/3 .
0 0 0 0 0 1
0 0 0 0 0 0
Se aplica
−1/2 −3/8
f23 , f13
y tenemos
1 −1 −5/4 0 0 −7/4
0 0 0 1 0 17/6
0 0 0 0 1 1/3
.
0 0 0 0 0 1
0 0 0 0 0 0
Finalmente hacemos
−1/3 −17/6 7/4
f34 , f24 , f14
1 −1 −5/4 0 0 0
0 0 0 1 0 0
0 0 0 0 1 0 ,
0 0 0 0 0 1
0 0 0 0 0 0
Nota 5.6.25 El teorema 5.6.22, así como los algoritmos 5.6.19 y 5.6.20 van
a ser fundamentales para poder establecer la noción crucial de rango. La
demostración de 5.6.22 no es trivial y será incluida como material comple-
mentario. ⋄
5.7 Rango
Definición 5.7.1 Dada una matriz A se define el rango por filas de A como
el número de pivotes (o lo que es lo mismo el número de filas no nulas) de su
forma escalonada reducida por filas. Se denotará por
rgF (A).
rgC (A).
Proposición 5.7.3 Si A es una matriz rgF (A) (resp. rgC (A)) es el número
de pivotes o filas (resp. columnas) no nulas de cualquier forma escalonada
por filas (resp. por columnas) de A.
Demostración:
Es inmediata a partir de 5.6.23. ⋄
Así para calcular el rango por filas (resp. por columnas) de una matriz basta
con calcular una forma escalonada por filas (resp. por columnas) y contar el
número de filas (resp. columnas) no nulas que aparecen.
Ejemplo 5.7.4 Para calcular el rango por filas de la matriz
8 −8 −10 10 8 17
12 −12 −15 15 12 24
A = 4 −4 −5
5 4 1,
8 −8 −10 8 7 11
−8 8 10 −8 −4 −10
que aparecía en el ejemplo 5.6.12, basta con una forma escalonada por filas
de ella y contar su número de filas no nulas o su número de pivotes. En el
ejemplo 5.6.12 se calculó una forma escalonada por filas suya como
8 −8 −10 10 8 17
0
0 0 −2 −1 −6
0 0 0 0 3 1 ,
0 0 0 0 0 −3/2
0 0 0 0 0 0
rgF (A) = 4.
rgF (A) ≤ n
rgF (A) ≤ m
Demostración:
Se sigue de forma inmediata de 5.6.4. ⋄
rgC (A) ≤ n
rgC (A) ≤ m
Demostración:
Se sigue de forma inmediata de 5.6.6. ⋄
Proposición 5.7.7 Dos matrices equivalentes por filas (resp. por columnas)
tiene el mismo rango por filas (resp. por columnas). ⋄
rg(A).
rg(A) = rg(At ).
era 4.
Calculemos ahora su rango por columnas lo cual equivale a calcular el
rango por filas de
8 12 4 8 −8
−8 −12 −4 −8 8
t
−10 −15 −5 −10 10
A = .
10
15 5 8 −8
8 12 4 7 −4
17 24 1 11 −10
que es una forma escalonada por filas de At . Tiene cuatro filas no nulas, luego
rgC (A) = 4,
5.8 Inversión
Vamos ahora a precisar una noción que en realidad ya hemos manejado al
estudiar las matrices elementales y los productos de ellas.
AB = BA = In .
AB1 = B1 A = AB2 = B2 A = In .
Por tanto
B1 = B1 In = B1 (AB2 ) = (B1 A)B2 = In B2 = B2 .
Luego si una matriz tiene dos inversas, han de ser iguales. De aquí se deduce
la unicidad de la inversa. ⋄
y
3 3 −1 −6 −2 −1 −2 −4 1 0 0 0
−5 −4 2 6 5
1 4 11 0
1 0 0
= .
3 3 −2 −5 2 0 0 3 0 0 1 0
−2 −2 1 4 1 0 1 3 0 0 0 1
⋄
Proposición 5.8.5 Si An×n es inversible entonces A−1 es inversible y
(A−1 )−1 = A.
⋄
Proposición 5.8.6 Sean A y B dos matrices cuadradas de orden n inversi-
bles. Entonces AB es inversible y su inversa es
(AB)−1 = B−1 A−1 .
Demostración:
Es muy sencilla
(AB)(B−1 A−1 ) = A(BB−1 )A−1 = AIn A−1 = AA−1 = In .
(B−1 A−1 )(AB) = B−1 (A−1 A)B = B−1 In B = B−1 B = In .
⋄
Ejemplo 5.8.7 Sean
−2 −1 −2 −4 0 1 −2 0
, B = 0 −2 3 −1
5 1 4 11
A= 2 −1
.
0 0 3 0 0 3
1 0 1 3 −1 1 −2 4
Se tiene que
3 3 −1 −6 −3 0 −4 3
−5 −4
A−1
2 6 , B−1 = −1 −2 2 −2
= ,
3 3 −2 −5 −1 −1 1 −1
−2 −2 1 4 −1 0 −1 1
y que
6 −4 9 −21 −27 −27 14 50
−15 14 −29 55 15 −9 −24
, B−1 A−1 = 17
AB =
−3
.
5 −10 12 7 6 −4 −9
−4 4 −8 15 −8 −8 4 15
Ahora
6 −4 9 −21 −27 −27 14 50
−15 14 −29 17
55 15 −9 −24
(AB)(B−1 A−1 ) =
−3 5 −10 12 7 6 −4 −9
−4 4 −8 15 −8 −8 4 15
1 0 0 0
0 1 0 0
=0 0
,
1 0
0 0 0 1
y que
−27 −27 14 50 6 −4 9 −21
17 15 −9 −24 −15 14 −29 55
(B−1 A−1 )(AB) =
7 6 −4 −9 −3 5 −10 12
−8 −8 4 15 −4 4 −8 15
1 0 0 0
0 1 0 0
=0 0
,
1 0
0 0 0 1
⋄
Corolario 5.8.8 Si A1 , . . . , As son matrices de orden n inversibles, entonces
el producto
A1 · · · As ,
es inversible y su inversa es
A−1 −1
s · · · A1 .
⋄
Proposición 5.8.9 Si A es una matriz inversible, At también lo es. Además
(At )−1 = (A−1 )t .
Demostración:
El resultado se obtiene por simple comprobación de las fórmulas
At (A−1 )t = (A−1 A)t = Itn = In ,
y
(A−1 )t At = (AA−1 )t = Itn = In .
⋄
Luego
(A−1 )t = (At )−1 .
⋄
Lema 5.8.12 La única matriz escalonada reducida por filas (resp. por co-
lumnas) cuadrada de orden n que es inversible, es In .
Demostración:
Demostraremos el resultado por filas, y por columnas se obtiene por traspo-
sición.
Sea R una forma escalonada reducida por filas cuadrada de orden n e inversi-
ble. Sea p su número de pivotes. Si p < n, entonces R al menos su última fila
nula. Luego Si An×n es otra matriz de orden n, por definición del producto
de matrices RA tiene su última columna nula. Pero como R es inversible se
tiene que RR−1 = In , y por tanto In tendría su última columna nula, lo que
es absurdo.
Luego hemos llegado a contradicción por suponer que p < n. Como siem-
pre p ≤ n, ha de darse forzosamente
p = n.
Luego rgF (R) = n. Pero es fácil ver que por construcción la única forma
escalonada reducida por filas cuadrada de orden n que puede tener tal rango
n por filas es In . ⋄
In = PA.
R = In ,
Probemos la implicación =⇒
Sea An×n inversible. Por el lema 5.8.13 la forma escalonada reducida por
filas de A es In . Por 5.5.17, existe una matriz P que es producto de matrices
elementales por filas (por tanto inversible), tal que
In = PA.
5. A es equivalente a PAQ.
Demostración:
Probaremos sólo el primer punto. Para el segundo se razona análogamente.
Sea R la forma escalonada reducida de A. Por 5.5.17 existe una matriz inver-
sible P tal que PA=R. Entonces
AB = In =⇒ PAB = P =⇒ RB = P.
Como P es inversible, por 5.8.14 tiene rango por filas n. Supongamos que
rgF (A) < n. Como rgF (A) = rgF (R) y R es escalonada por filas, ha de tener
la última fila nula. Pero entonces RB también la tiene, luego P tiene su última
fila nula. Entonces por 5.7.8, rgF (P) ≤ n − 1, lo que es absurdo. Por tanto
ha de suceder que
rg(A) = n,
y por 5.8.14 A es inversible. De la unicidad de la inversa se sigue que A−1 = B.
⋄
Gracias a este corolario para comprobar si dos matrices son inversas una de
la otra, sólo es necesario multiplicarlas en una sola dirección y ver si sale In .
Ejemplo 5.8.18 Para probar que
−2 −1 −2 −4
5 1 4 11
A :=
2
,
0 0 3
1 0 1 3
es inversible y que su inversa es
3 3 −1 −6
−5 −4 2 6
A−1 = ,
3 3 −2 −5
−2 −2 1 4
bastaría con hacer el producto
−2 −1 −2 −4 3 3 −1 −6 1 0 0 0
5 1 4 11 −5 −4
2 6 0
1 0 0
= ,
2 0 0 3 3 3 −2 −5 0 0 1 0
1 0 1 3 −2 −2 1 4 0 0 0 1
y no el otro porducto también como en 5.8.4. ⋄
Fk · · · F1 = A−1 .
Pero por la propia definición de las matrices elementales, podemos pues apli-
car f1 , . . . , fk a In en el mismo orden que a A y el resultado final será la
inversa buscada. ⋄
Nota 5.8.20 Respecto del algoritmo 5.8.19 hay que tener en cuenta
0 0 −1 −2 1 1 0 −3 0 0 −2 −3 0 0 1 −2
1 0 1 3 0 0 0 1
−3
f43 0 1 −1 −4 0 1 0 −5 f3−1
−−→ 0 0 −1 −2
− −→
1 1 0 −3
0 0 0 1 −2 −2 1 4
1 0 1 3 0 0 0 1
0 1 −1 −4 0 1 0 −5 1 ,f −1
f23 13
− − −− →
0 0 1 2 −1 −1 0 3
0 0 0 1 −2 −2 1 4
1 0 0 1 1 1 0 −2
0 1 0 −2 −1 0 0 −2 −2 2
f34 −1
,f24 ,f14
− − − − − − −→
0 0 1 2 −1 −1 0 3
0 0 0 1 −2 −2 1 4
1 0 0 0 3 3 −1 −6
0
1 0 0 −5 −4 2 6
0 0 1 0 3 3 −2 −5
0 0 0 1 −2 −2 1 4
5.9 Determinantes
La teoría de determinantes es importante por sí misma. Sin embargo nosotros
sólo los utilizaremos como una herramienta auxiliar. Por esa razón elegimos
su definición recursiva
Definición 5.9.1 Sea A = aij n×n un matriz cuadrada. Se define el de-
terminante de A, y se denotará por det(A) o por |A| a un número definido
recursivamente de la siguiente forma
1. Si n = 1, se define
det(A) := a11 .
2. Si n > 1, se define
n
X
det(A) := (−1)i+1 ai1 det(Ai1 ),
i=1
a11 a12 a13
a21 a22 a23 =a11 a22 a33 + a13 a21 a32 + a12 a23 a31 − a13 a22 a31
a31 a32 a33
− a11 a23 a32 − a12 a21 a33 .
⋄
Ejemplo 5.9.3
1 2
= 1 × 4 − 2 × 3 = −2.
3 4
1 2 3
4 5 6 = 1×5×9+3×4×8+2×6×7−7×5×3−1×6×8−9×4×2 = 0.
7 8 9
⋄
2. det(At ) = det(A).
5. det(A) 6= 0 ⇐⇒ rg(A) = n.
⋄
2. det(Fλi ) = λ.
3. det(Fij ) = −1.
4. det(Cλij ) = 1.
5. det(Cλi ) = λ.
6. det(Cij ) = −1.
1. Si
λ
fij cλ
ij
A −→ B1 y A −→ B2 ,
entonces se tiene que
2. Si
fλ cλ
i
A −→ B1 y A −
→i
B2 ,
entonces se tiene que
1 1
det(A) = det(B1 ) = det(B2 ).
λ λ
3. Si
fij cij
A −→ B1 y A −→ B2 ,
entonces se tiene que
Demostración:
Se sigue de 5.9.4, de 5.9.5 y de la interpretación matricial de las operaciones
elementales. ⋄
Corolario 5.9.7 Sea A = aij n×n se tiene que
Demostración:
Se sigue de la definición de determinante, de 5.9.6 y de 5.9.4. ⋄
Como todos los elemento de la última fila salvo el 6, 6 son cero, desarrollamos
por los elementos de esa fila
−10 −5 4 −18 −4
−5 −2 0 −9 −12
6+6
det(A) = (−1) (−1) −5 −1 −4 −5 −23 .
0 0 0 −4 −4
0 −1 5 1 2
0 0 5
det(A) = 20 1 −4 −15 ,
0 1 −14
5.9.1 Menores
Definición 5.9.13 Sea An×m . Un menor de A de orden s ∈ N con s < n y
s < m, es un determinante de una submatriz cuadrada de A de orden s × s.
⋄
Definición 5.9.17 Sea An×m . Sea s ∈ N con s > 1, s < n y s < m. Diremos
que un menor de A de orden s − 1, es orlado por otro menor de A de orden s,
si el menor de orden s se construye fijando una columna y una fila adicional
de A sobre las filas y columnas de A que se fijaban para construir el menor
de orden s − 1. ⋄
Nota 5.9.21 Una observación importante respecto del cálculo del rango de
una matriz es la siguiente. Como se ha visto el rango es invariante por opera-
ciones elementales. Luego si sólo estamos interesados en el cálculo del rango
de una matriz, la combinación de operaciones elementales por filas y colum-
nas con la propiedad de orlado de menores, proporcionan un método rápido
y eficiente para el cálculo del rango.
Lo que sucede a menudo es que además de calcular el rango de una matriz
suele ser necesaria otro tipo de información que se extrae de la matriz, para
cuya obtención pudiera no ser lícito la realización de operaciones elementales
por filas y columnas mezcladas. Por tanto la combinación de técnicas a la que
aludíamos en el párrafo anterior en la práctica no es tan útil como pudiera
parecer. Suele ser frecuente que sea preciso realizar reducción a forma esca-
lonada por filas o por columnas para realizar ciertos cálculos, lo cual como
efecto colateral nos proporciona el cálculo del rango. ⋄
5.10 Ejercicios
Ejercicio 5.1
Para cada una de las siguientes matrices, obtener su orden y decir de cuáles
de los siguientes tipos son: matriz fila, matriz columna, matriz constante,
matriz cero, matriz cuadrada. Escribir sus filas y columnas, y en el caso de
matriz cuadrada obtener su diagonal. Calcular también la traspuesta.
1.
5 6 −3 1 −5 3
4 4 −4 −1 1 8
2.
−3
8
6
1
−5
0
3.
−4 7 2 5 7 9 0
8 8 −4 −3 3 5 −5
4.
−2 −2 −2
8 −2 −4
−9 2 −7
4 8 3
1 −6 2
5.
5
3
−4
−8
−7
6.
−8 −2
−7 4
6 6
9 9
−3 −2
7.
1
−9
−9
−5
−5
−8
−5
8.
−3 8 −7
−5 9 −3
0 −9 −1
9.
−7 −5 1
−8 3 −3
−1 4 −3
−7 1 −5
−7 0 8
10.
−5 0 −5 −8 2 −8 −5
8
1 0 −1 8 7 −1
−5 1 3 −4 5 −4 −4
5 −2 −5 −1 1 6 2
−4 7 8 −1 −7 7 −6
9 −6 −9 1 9 6 −1
4 −1 0 3 4 5 −5
11.
2 −2 9 1 −2 1 −2
8
−4 9 4 −3 2 1
−4 8 −9 −6 −3 7 −6
5
−2 0 2 −3 −5 8
−8 −2 8 6 −5 9 0
−3 −9 6 4 −5 −2 7
12.
−6 −2
−4 1
3 1
−4 2
1 4
9 2
−3 9
13.
−4 3
−2 2
14.
−6 6 6 1 7
5
1 −4 9 6
−3 9 −6 −7 −6
−8 −9 −4 −9 0
3 4 −5 −5 1
8 −1 3 1 3
15.
−6 8 −1 4 −8 −6
4 −8 8 −2 −2 −2
16.
3 4 2 5 −7 −9 5
17.
5 2 7 −5 −1
9 5 1 −8 0
18.
−8 6 7 9 8
1
−7 −7 −9 3
8
−6 4 4 3
6
−5 −2 −9 −5
5 6 3 8 2
9 −1 0 −9 9
−6 −3 −7 −5 0
19.
−7 −3 5 −1
0 −9 −5 −8
3 7 7 −8
3 7 6 −6
20.
−4 −8 −6
−6 −1 −7
−5 −8 4
7
3 −2
0
−6 −8
6 −3 −4
5 7 −7
21.
1 −2 6 −7
−7 −6 −6 −1
22.
−3 1 2 −2 8 8
2 −1 9 −3 −4 −1
23.
5 −6 4
−4 1 4
24.
−8 −7 8
−3 −4 3
−4 −1 −6
−6 1 −4
−3 5 4
9 −2 −2
4 3 2
25.
−9 −6 2 −7 4 −2 −2
−2 −2 9 3 −4 −9 −2
26.
8
0
−7
27.
−7 1 −1 8 7
−7 −8 −3 9 7
2 1 6 1 2
−7 −9 −1 3 5
−2 4 1 −3 −9
8 4 2 −2 3
1.
−3 2
2 −7
2.
−2 8 2 −6 0
0
5 6 6 −4
0
0 −3 −6 7
0 0 0 7 −7
0 0 0 0 −1
3.
1 3
3 7
4.
3 0 6 7 −1 2
0
5 1 −3 −9 1
6
1 0 3 −5 −9
7 −3 3 1 3 −6
−1 −9 −5 3 −4 −5
2 1 −9 −6 −5 −6
5.
−7 0 0 0 0
−7 −9 0 0 0
4 6 1 0 0
6 −3 5 −7 0
−3 −1 −8 −9 −9
6.
−1 0
−2 −6
7.
−2 0 0 0
−9 −9 0 0
3 −4 −4 0
−4 −8 −5 2
8.
4 −7 4 4
−7 −6 −7 −2
4 −7 1 6
4 −2 6 −5
9.
−1 0 0 0
−9 −3 0 0
−3 −9 −1 0
7 3 −8 9
10.
0 5 −1
−5 0 −9
1 9 0
11.
9 0 0 0 0 0
3
−1 0 0 0 0
6
−7 −4 0 0 0
7
−2 4 −1 0 0
−7 −9 4 3 −2 0
5 −7 −8 −2 −1 −2
12.
0 −9 8 −9
−9 0 −9 5
8 −9 −8 4
−9 5 4 −3
13.
−8 −6
0 −4
14.
−1 5 −8
0 −1 −9
0 0 −8
15.
4 0
0 5
16.
3 4 −9 5 3 3 −4
0
9 −3 5 −7 2 1
0
0 −1 5 6 −8 −7
0
0 0 8 2 −9 −8
0
0 0 0 −6 3 9
0 0 0 0 0 8 2
0 0 0 0 0 0 −6
17.
−1 0 0 0 0 0 0
0 −1 0 0 0 0 0
0
0 −1 0 0 0 0
0
0 0 −1 0 0 0
0
0 0 0 −1 0 0
0 0 0 0 0 −1 0
0 0 0 0 0 0 −1
18.
7 0 0 0 0 0 0
3 0 0 0 0 0 0
8 −5 6 0 0 0 0
8
1 0 −7 0 0 0
−4 3 0 −7 6 0 0
7 3 −3 −1 8 −2 0
−4 3 −6 −8 −9 −9 −4
19.
0 5 4 −5
−5 0 −1 9
−4 1 0 −1
5 −9 1 0
20.
8 0 0 0 0 0 0
−1 8 0 0 0 0 0
−6 7 −4 0 0 0 0
7 −6 −9 −9 0 0 0
−9 9 2 8 3 0 0
6 9 −9 −7 8 −8 0
3 7 −2 −8 −6 −8 −9
21.
−8 2 −3
2 5 0
−3 0 −1
22.
3 0 0 0 0
0 0 0 0 0
0
0 −6 0 0
0 0 0 −7 0
0 0 0 0 1
23.
0 −7 −7 1 −8
7
0 −8 −8 −2
7 8 0 4 6
−1 8 −4 0 2
8 2 −6 −2 0
24.
8 9
0 2
25.
2 1 −6
1 6 −3
−6 −3 −9
26.
0 −4
4 0
27.
−4 0 0 0 0 0 0
0 −3 0 0 0 0 0
0
0 −5 0 0 0 0
0 0 0 5 0 0 0
0
0 0 0 −9 0 0
0 0 0 0 0 7 0
0 0 0 0 0 0 −5
Ejercicio 5.3 Obtener la submatriz tomando las filas 1, 2, 4, 6 y las columnas
3, 5, 6, 7, 9 de la siguiente matriz
3 1 14 10 −2 12 11 −14 −8
2 −19 −12 3 −15 −18 18 17 9
10
18 0 0 −6 3 −13 −9 −14
−17 −16 3 −7 9 −11 13 5 −5 .
−17 5 −20 19 14 14 −1 −2 20
−16 −15 −11 15 19 13 4 4 0
−2 −5 4 15 5 −5 10 −19 −17
Ejercicio 5.4 Calcular las siguientes operaciones matriciales
1.
1 −1 −8 −5 3 9 4 −3 −4 −7
9 −1 −8 9 2 + 9 7 −4 −6 −9
8 0 4 2 −7 −4 6 −4 −2 9
2.
9 6 −9 −2 −8 3
−4 −3 −5 −6 −5 3
3 −2
7 −4 0 5 −3 3
−6 −8 −3 −2 −2 3
3.
1 0 −9
−1 −8 9
−6 7 9
−2 9 −9
0 0 3
4.
−2 −1 −1
1 −1 1 −1 2
−2
−3 −3 −2 −2 1 2 −1 2 3 0 3
2 −2 −3 0 2 0 2
0 3 3 0 −1
0 −2 0
5.
−1 −2 −1 −1
1 3 −1 1 2 0 −1
2 2 1 −2 1 + 5
3 2 2 2 1 1 3
−1 2 1 0
6.
1 1 −2 0 −2 −2
−1 −1 −2
1 1 2 −1 1 −1 1 0 1 −1 −1 −1
2
1 0 1 −1 0 −1 0 −1
1 1 1 −1 −1 0
−1 0 −1 −1 −1 −2 0 −1 −1 −1
1 0 1 1 1
−1 1 −1 0 2 0 0 0
1 0 1 1 0 −1 1
1
1 2 1 −1 0
−1 1 0 0 0 1 0 0 0
1 0 −1 −1 −2 1 1 1 −1 1 0 0 1 −1 −1
0 1 0 −2 1 1
1.
−5 7 −6
5 −8 6
0 −1 2
2.
4 2 −26 3 −16
2
1 −15 1 −9
2 −4 −8 3 −7
6 −7 −27 8 −21
3.
−9 0 5 −16 7 −4
−3 4 6 −10 7 −5
9 8 3 7 1 −2
−12 −12 −7 −7 −6 7
4.
8 5 6 −9
−4 −2 −2 2
12 7 3 −12
5.
4 −4 1 0
−8 8 −2 0
−16 16 −4 3
−20 20 −5 6
6.
−4 18 −14 −7
1 −4 5 6
4 −18 13 −2
3 −14 9 −3
7.
−1 0 −5 −3
0 −3 0 1
2 −3 10 7
1 −3 5 4
8.
−8 2 3 7 −12 3
−4 1 3 3 −8 2
−4 3 5 6 −11 2
4 3 7 1 −6 0
9.
5 −3 −6 4 −7
0 −4 11 4 7
10 −14 15 12 5
0 1 −4 0 −3
10.
2 −17 −22
2 −19 −25
−2 15 20
2 −5 −5
0 −2 −2
11.
8 5 −1 34
12 7 −3 50
−20 −12 4 −82
12.
20 −9 35 −12
−4 3 −4 0
4 1 14 −8
13.
−2 −24
6 57
0 5
14.
5 −3 −2 1
−25 15 10 −5
15 −9 −6 3
5 2 −5 1
15.
−8 14 33 −6 35 21
0 1 6 0 8 1
0 −1 −5 2 −5 −4
4 −4 −3 −6 −7 6
4 −3 3 −6 1 7
16.
2 2 0 14 2
2
2 −2 16 5
−2 −1 −4 −8 5
3 5 −6 31 16
17.
6 −6 8
−21 21 −29
36 −36 50
6 −6 10
3 −3 5
18.
0 −3 4 −2
0
6 −8 4
−3 −2 7 1
3 −4 1 −5
19.
−4 −5 0 2
20 21 −2 6
−8 −8 2 −8
8 8 −2 5
20.
6 14 0
−3 −7 0
3 11 5
6 14 5
0 0 0
21.
−9 −19 7
−3 −9 0
12 40 5
22.
9 −19 −5 15 −4 13
3 −11 9 6 3 6
0 0 −2 −5 4 1
12 −28 −2 17 0 19
23.
6 10 1 18 7 9
6 8 −5 19 −1 6
−3 −7 −5 −10 −10 −8
24.
−2 5 −7 5
4
0 −11 −2
−2 0 3 3
−6 5 9 3
−2 0 8 −1
25.
2 0 5 3 −4
2 −5 −2 −6 −1
2 0 4 0 −1
0 5 5 3 3
26.
8 −4 17 8
−4 3 −13 1
−8 2 −12 −12
0 −2 5 −4
8 0 5 17
27.
−6 −3 6 −3 6
−8 −9 8 −6 6
4 7 −4 4 −2
4.
4/3 −72/5 56/3 −2 4/3
−2 108/5 −28 3 −2
−2/3 38/5 −26/3 15/4 8/3
−1/3 18/5 −14/3 1/2 −1/3
−1/3 22/5 −10/3 5 16/3
5.
−3/5 2/3 1 15/4 1 −11/20
−6/5 4/3 2 7/2 3/2 −27/10
−6/5 4/3 2 7/2 2 −19/10
6.
−2 25/12 −5/2
1 1/12 −5/4
−2 4/3 −3/4
7.
0 −3 −13/2 −7/15 27/4
0
−1 −2 −4/15 5/2
0 −2 −9/2 −1/5 17/4
0 −2 −9/2 −1/5 17/4
8.
6 −8/5 6 −19/4
−4 6/5 −5 2
0
0 0 −3/2
−4 0 4 1/2
−2 0 2 1/4
9.
−3/2 −1/5 −7 1 −4/5
3/2
1/5 3 1 −6/5
−9/2 −3/5 −9 −3 4
0 −2 9/2 −11/4 4/5
10.
6 −2 9/4 −3/5 39/10 7/4
−8 8/3 −3 4/5 −26/5 −7/3
8 −8/3 9/4 −2/5 22/5 2
11.
1/2 −3/4 −3/2 −1/10 −11/5 6/5
−1/2 3/4 5/2 −9/10 31/5 2/5
−1/2 3/4 1 3/5 1/5 −2
12.
−4 7 −24/5 −8 27/5 −3
−8/3 14/3 −16/5 −16/3 18/5 −2
−2 4 2/5 1/6 13/10 −29/5
−2 4 −13/5 −23/6 14/5 −9/5
13.
−1/2 2/3 4/5 −17/3 −46/15
2 −8/3 −16/5 68/3 184/15
−3/2 2 12/5 −17 −46/5
−1/2 0 0 1/3 −2/5
1/2 −1 −6/5 26/3 22/5
14.
1 −2/5 −4/3 1 −1/2
1 −19/10 −1/3 −3 −5/2
4 −23/5 −10/3 −4 −6
15.
−1 0 −11/2 14/5 −28/5
1/5
0 19/20 −4/5 7/5
−2/5 0 −43/20 6/5 −12/5
−1/5 −1 −1/5 1 −1
−1/5 0 −6/5 2/5 −3/5
16.
1 20/3 5 13/3 −13/2 3
−6 −20 −63/2 −11/3 3 −191/10
−1 −20/3 −9 −10/3 9/2 −14/5
−2 −28/3 −19/2 −5 7 −63/10
17.
0 0 −3/2 1/3 −1
−16/5 −9 7 14/5 47/2
−12/5 −20/3 5 29/15 15
4/5 2 1/2 −1/30 1/4
−4/5 −2 −1/2 8/15 −1
18.
−1 2/3 −1 −3/4 3/4 109/30
0
0 −1 5/4 −1/4 3/10
−1 2/3 0 −2 1 10/3
−1 2/3 0 −11/4 5/4 −1/6
1 −2/3 −1 13/4 −5/4 −31/30
19.
−4 19/4 −13/10 13
4/3 −7/4 3/10 −15/2
4/3 −3/2 1/2 −11/4
−8/3 13/4 −4/5 41/4
8/3 −13/4 4/5 −11
20.
−4 −15/4 9/4 −2 −21/20 0
−12/5 −9/4 3/4 −3/5 −3/4 0
12/5
9/4 −7/4 8/5 11/20 0
0 0 0 0 0 0
−8/5 −3/2 3/2 −7/5 −3/10 0
21.
1/2 −1/2 13/4 −14/3
−1/2 1/2 −13/4 14/3
0 0 −1 1
−1/2 −1/2 5/4 −2/3
−1/2 −1 7/2 −10/3
22.
1 3/5 −5/3 −4
3 6/5 7/3 −13
−3 −6/5 −13/3 14
23.
−2 1/4 7/2 8/5
−8/3 3/5 3 2
4/3 −3/10 1/2 −6/5
−8 7/5 23/2 32/5
24.
14 −13/15 −19/6
4 −2/15 −2/3
−2 7/15 −5/6
2 1/3 −3/2
25.
0 −3/4 −3/2 0 0
−1/2 3/5 −1 1/2 1/5
−3/2 33/10 0 3/2 3/5
−1/2 27/20 1/2 1/2 1/5
0 0 −1 −2 −3/2
26.
0 −3 1/2 −1/2 −5/12 −3/2
−1/4 −2 1/2 1/2 −5/3 31/10
1/4 14 −5/2 5/2 37/12 49/10
0 12 −2 3 65/12 41/5
1/4 −1 0 −1 5/4 −8/5
27.
−6 −13/2 21/5 22 −13/2 31/3
−4 −3 13/5 12 −5 20/3
−2 −3/2 4/5 7 −1/2 7/3
−2 5/2 −4/5 1 3/2 −1/3
Ejercicio 5.7 Calcular una forma escalonada por filas y el rango de las
siguientes matrices dependiendo de los parámetros.
1.
−2a + 4 −a(−1 + a) 1 2a + 4
a−2 a(−1 + a) 0 −2a − 3
−4a + 8 −2a(−1 + a) 2 8 + 3a
2.
4a2 − 2 + a
−6b −6b(b + 1)
3b
3b(b + 1) −3a − 3a2 + 1
−4b −4b(b + 1) (1 + a)(3a − 1)
−3b −3b(b + 1) 2a2 − 1
3.
a a(b − c) −c
6a 6a(b − c) + 5b −4c
a a(b − c) + 2b 0
4.
−a2 + b −1
b −2 0
0 1 −a −a + 1 0
b 0 a a+2 0
b 2 −2a −2a + 4 0
5.
a2
a (1 + a)(−1 + 2a) 1
a
(−1 + a)(1 + a) −1 + 2a −2
−2a 2
−2a + 1 2 − 4a 3
−3a −3(−1 + a)(1 + a) 3 − 6a 6
6.
0 0 0 c(a + b)
b − a c−b a−c 0
0 0 0 ac
0 −1 1 −2ac − bc + ab
b − a −1 + c − b 1 + a − c −c(a + b)
1.
0 0 5 −2 1 −5
−4 5 −4 10 −8 10
0 −1 14 −7 4 −14
0
0 0 0 −3 5
−8 8 10 15 −4 −5
4 −4 −5 −10 2 0
2.
15 −13 35 −16 23
0 −1 5 −2 2
−5 4 −10 4 −7
5 −4 9 −5 6
−5 2 −1 −1 −3
3.
2 5 −2
8 24 −5
−10 −29 8
4.
1 4 3
−4 −16 −20
−2 −8 −9
5.
6 7 7 −14 12
9
6 7 −7 10
9
9 9 −18 14
0 0 1 5 0
3 −1 0 7 −6
6.
−9 −6 −11 −13 −6
3 2 5 11 2
−3 1 −1 −12 6
−9 −6 −12 −18 −6
−3 1 0 −7 2
7.
3 9 2 −12 −2 11
−4 −12 −1 16 4 −14
0 0 5 0 4 2
−3 −9 3 12 6 −9
−6 −18 1 24 8 −20
1 3 −1 −4 −2 3
8.
3 −6 −6 −12
−12 20 21 38
0 0 0 3
−6 8 9 17
9.
0 −2 −8 −10
8 20 9 7
10 21 −4 −11
−8 −18 −1 6
10.
−5 2 −14
15 −6 28
−25 10 −18
11.
0 1 1 −4 −1
0 −3 −1 12 4
0 −4 0 17 8
−2 0 −1 3 −5
2 0 1 −3 5
12.
5 5 −6 12
−1 −7 2 9
−2 −9 4 4
−1 8 0 −17
13.
5 −2 −5 0 8 −8
10
6 −12 4 12 −21
−5 7 5 0 −7 7
−5 −3 5 −2 0 11
−5 −3 5 −1 −3 6
0 0 0 −1 6 1
14.
−2 4 3 7 0 0 1
−2 5 3 5 3 5 −3
0 −2 0 4 −6 −10 8
0 −1 0 2 −3 −5 4
0 −3 0 6 −9 −15 12
0 0 0 0 0 0 0
0 0 2 5 2 4 2
15.
−4 −3 5 −1 4 −4
−4 −1 3 1 2 3
4
2 −4 0 −3 −2
0
−1 1 1 0 −7
0 0 0 0 4 5
0 −1 2 2 3 −2
16.
4 3 5
−8 −2 −21
−2 0 −6
17.
10 7 −2 7
−10 −7 2 −12
−5 −3 1 −4
−10 −6 2 −8
18.
0 0 4 −1 −5 3 −2
0 0 0 0 0 0 3
0
2 −8 6 10 −5 1
0
0 8 −2 −10 6 −1
0
0 8 −2 −10 6 −7
1 −4 0 3 0 0 2
0 −2 0 −9 3 −3 4
19.
10 4 −2 3 −10 −14
15 12
6 −6 −2 −15
20 16
8 −7 0 −20
10 6
1 −1 −7 −11
5 4 2 −1 −3 −5
0 0 0 0 −5 −2
20.
−4 31 18
0 20 12
0 −16 −10
21.
−3 −2 −4 −1 −1 −6
−6 −4 −11 −8 −6 −8
0
0 −3 −6 −4 4
−9 −7 −13 −8 −4 −5
0 0 0 3 0 −4
−3 −2 −4 −4 −1 −2
22.
15 9 12
5 4 4
20 13 16
23.
−10 −7 0 6 −6 20
10
6 −3 0 0 −14
20 10 −7 12 −10 −4
10
4 −4 14 −11 11
−5 −3 −1 −2 −5 2
5 3 1 2 0 2
24.
9 8 −4 −2 11
0
0 −2 5 −3
3
3 −3 −4 4
9 8 −4 −7 13
0 0 0 0 −5
25.
0 −2 1 0 −2 2 −2
0
2 −5 2 −1 0 7
0
2 −5 2 −1 0 7
0
0 0 0 −4 2 −4
3
0 9 −2 6 −1 −13
0 0 0 0 0 0 −2
6 0 14 −5 10 3 −13
26.
−2 0 8 −1
0
5 −1 6
2 5 1 9
2 0 −2 2
27.
2 −4 5 −7
−1 2 0 4
1 −2 10 −2
−1 2 −5 3
1.
−9 −8 −16 3
3 3 7 0
−3 −2 −3 1
−3 −3 −8 −4
2.
−21 −36 −32 −47
−24 −42 −37 −55
9 16 14 21
51 88 78 115
3.
−3 −4 −4 −4 −6 −1
−3 −8 −8 −8 −11 −2
0 −4 −4 −4 −5 −1
3
8 6 8 7 −1
0 −4 −6 −5 −10 −3
0 4 2 4 1 1
4.
5 2 1
5
2 −2
−5 −3 −5
5.
−1 −2
7 15
6.
0 0 0 6 14 12
0 0 0 0 −4 −1
0 0 0 −3 −19 −9
2 2 1 8 12 8
0 0 0 3 7 6
2 2 1 2 −2 −4
7.
−7 −35 −10 0
−16 −80 −23 0
0 0 0 −1
5 25 6 0
8.
0
0 0 1 −1
−2 −1 −1 −1 −3
0
0 0 1 −2
2 1 0 4 0
1 1 0 0 0
9.
3 −8 −5 −2 −6 −7
0 5 5 3 5 5
0 −10 −10 −6 −10 −13
6 −11 −5 −1 −7 −9
−3 13 14 9 14 13
3 −3 0 1 −1 −2
10.
−1 1 −1 1 −3
−1 0 −2 0 −5
4 −11 −3 0 −3
−2 5 2 0 0
0 0 0 −1 0
11.
2 4 4
−1 −2 1
2 4 8
12.
9 15 7 14 7
−12 −20 −9 −20 −10
−3 −10 −5 −8 −8
−3 0 0 −3 1
0 5 3 2 4
13.
2 4 2 41 9 27
0
2 1 0 −2 −2
−1 −2 −4 −10 −4 −9
1
4 5 10 −2 4
1
4 2 18 −3 6
0 0 0 0 0 3
14.
1 2 9
−4 −8 −32
−2 −4 −14
15.
−1 4 21 −2
−1 −5 −3 −5
2
1 −15 5
3 −6 −41 5
16.
0 −5 1 −3 −2 −2
−12 −15 −12 −15 −9 −9
−4 5 −6 1 1 1
0 −5 1 −3 −2 −2
−4 −5 −4 −5 −3 −3
16 20 14 18 10 9
17.
1 4 4 7
−2 −10 −9 −8
2 10 8 3
−5 −24 −21 −17
18.
8 −2 0 −15
−16 3 −4 18
4 −1 0 −7
8 −1 3 −6
19.
0 −2 −1 1 1 2
0 −2 −2 0 1 1
−2 −5 −4 0 2 1
1 −4 −3 1 2 3
0 0 1 0 0 1
−1 0 0 0 0 1
20.
3 6 4 5
6 12 9 18
9 20 15 26
9 20 16 32
2. Sea n ∈ N
2 −1 0 ··· ··· ··· 0
−1 2 −1 0 ··· ··· 0
0 −1 2 −1 0 ··· 0
.. . . . . .. .. .. ..
. . . . . . .
0 ··· 0 −1 2 −1 0
0 ··· ··· 0 −1 2 −1
0 ··· ··· ··· 0 −1 2
3. Sea n ∈ N.
1 1
0 1
0 ··· ··· 0
2 2 2
0 1 2
0 ··· 0
.. .. .. .. .. ..
. . . . . .
n−2 n−2 n−2 n−2
···
0 1 2 n−2
0
n−1 n−1 n−1 n−1 n−1
0 1 2
··· n−2 n−1
n n n n n
0 1 2
· ·· n−2 n−1
4. Sea n ∈ N.
1 n
n ··· n
n 2
n ··· n
n n 3 ··· n
.. .. .. .. ..
. . . . .
n n n ··· n
5. Sean n ∈ N y x, c1 , c2 , . . . , cn ∈ R.
x −1 0 0 0 ... 0
0 x −1 0 0 ... 0
0 0 x −1 0 ... 0
.. .. . . .. .. .. ..
. . . . . . .
0 0 ··· 0 x −1 0
0 0 ··· 0 0 x −1
c1 c2 · · · cn−3 cn−2 cn−1 x + cn
Ejercicio 5.11 Sea A una matriz cuadrada tal que At = A−1 (matriz orto-
gonal). Probar que entonces que o bien det(A) = 1 o bien det(A) = −1.
Ejercicio 5.12 Sea A una matriz cuadrada. Probar que si existe m ∈ N tal
que Am = 0, entonces det(A) = 0. ¿Es cierto el recíproco?
Ejercicio 5.13 Sean A y B dos matrices inversibles. Probar que
det(A + B)
det(A−1 + B−1 ) = .
det(AB)
Ejercicio 5.14 Sean a, b, c ∈ R. Definimos el determinante de Vandermonde
de a, b, c como
1 1 1
V (a, b, c) = a b c .
a2 b2 c2
Sean α1 , α2 , α3 ∈ R no nulos y distintos entre si y sean β1 , β2 , β3 ∈ R cuales-
quiera. Probar
1.
3 1 1 1
X βi 1
α1 α2 α3 .
3
=
V (α1 , α2 , α3 )
i=1
Y
(αi − αj ) β1 β2 β3
j=1
j6=i
2.
1, si k = 2
3 k
αi
si k = 0, 1 .
= 0,
X
3
i=1
Y 1
si k = −1
(αi − αj ) α α α ,
1 2 3
j=1
j6=i
5.
10 8 10 2
5 4 5 1
−5 −4 −5 −1
10 8 10 2
5 4 5 3
0 2 4 4
0 0 0 −2
6.
0 8 16 40 40
0 −7 −14 −35 −35
0 −6 −12 −30 −30
7.
−1 −4 −5 −7 −6
2 8 10 14 12
−1 −4 −2 −4 −3
−8 −24 −17 −27 −19
−4 −12 −7 −12 −8
8.
6 10 −18 −22 −6 −20
3
5 −9 −11 −3 −10
0 −10 2 2 −6 3
0 5 4 −2 2 −2
0 −5 1 3 −2 3
9.
8 15 16 7 14
−4 −9 −9 −4 −9
10.
0 −10 −2 −54 −30
0 5 1 22 13
0 5 1 27 15
6.1 Introducción
En 5.4.6 definíamos qué era una combinación lineal de matrices. Para poder
tener tal noción era preciso contar con una suma y un producto por esca-
lares. Pues bien, podemos considerar combinaciones lineales para otro tipo
de objetos, siempre que tenga sentido. En el capítulo final de estos apun-
tes precisaremos de manera rigurosa bajo qué condiciones tiene sentido una
combinación lineal. Por lo que respecta a la materia que nos ocupa en este
momento, sea n ∈ N, sean x1 , . . . , xn indeterminadas, variables o incógnitas,
y sean α1 , . . . , αn ∈ R. Podemos considerar la combinación lineal de indeter-
minadas
α1 x1 + α2 x2 + · · · + αn xn ,
que tiene sentido al menos como polinomio. Si ahora tenemos b ∈ R, podemos
construir
α1 x1 + α2 x2 + · · · + αn xn = b,
a lo que llamaremos ecuación lineal con n incógnitas. Si agrupamos varias de
estas ecuaciones tendremos un sistema de ecuaciones lineales.
Definición
6.1.1 Sean n, m ∈ N, sean x1 , . . . , xn indeterminadas, sea A =
αij m×n una matriz y b1 , . . . , bm ∈ R. Un sistema de ecuaciones lineales com
m ecuaciones y n incógnitas es una expresión de la forma
α11 x1 + α12 x2 + · · · + α1n xn = b1
α21 x1 + α22 x2 + · · · + α2n xn = b2
.. .. .. .. . (6.1)
. . . .
α x + α x + ··· + α x = b
m1 1 m2 2 mn n m
253
254 6.1. Introducción
b1 = b2 = · · · = bm = 0.
x1
x2
2 3 2 −2 1 x3 = 3 .
1 0 0 −1 −1
x4 4
x5
⋄
Definición 6.2.2 Sea el sistema (6.1), llamaremos matriz ampliada del sis-
tema a la matriz por bloques A′ formada al añadir el término independiente
por la derecha a la matriz del sistema. Es decir, a la matriz
α11 α12 · · · α1n b1
α21 α22 · · · α2n b2
A′ = .. .. .. .. (6.8)
. . . .
αm1 αm2 · · · αmn bm
⋄
Ejemplo 6.2.3 Las matrices ampliadas de los sistemas del ejemplo 6.1.2 son
respectivamente
3 4 −7 −1 2 1 −1
0 3 0 1 4 0 3
2 2 3 5 0 0 0
.
1 −7 0 0 −3 −1 4
−2 3 1 −3 1 2 −2
0 3 −1 1 0 1 −7
1 −1 2 0
−1 3 3 2
0
1 1 −1 .
−2 1 −2 −2
3 0 5 3
2 3 2 −2 1 3
.
1 0 0 −1 −1 4
⋄
La matriz ampliada de un sistema contiene toda la información relevante
relativa a un sistema de ecuaciones lineales, ya que con ella podemos recons-
truir el sistema, bien en su expresión como ecuaciones, bien en su expresión
matricial. La ventaja que tiene la matriz ampliada es que constituye una
representación más compacta de un sistema. Además realizaremos ciertas
transformaciones sobre los sistemas de ecuaciones lineales, que al verlas sobre
la matriz ampliada corresponden a operaciones ya conocidas sobre matrices.
Su matriz ampliada es
1 −1 2 0
−1 3 3 2
.
0 1 1 −1
0 4 7 0
−1 −1 −2
Si realizamos las operaciones elementales f41 , f42 y f41 sobre ella, obtene-
mos
1 −1 2 0
−1 3 3 2
.
0 1 1 −1
0 0 0 0
Eliminando la última fila de ceros se tiene
1 −1 2 0
−1 3 3 2
0 1 1 −1
correspondiente al sistema
1 −1 2 x 0
−1 3 3 y =
2 ,
0 1 1 z −1
Proposición 6.3.5
1. El rango de las matrices ampliadas de dos sistemas equivalentes coin-
cide.
AX = B.
por la proposición 6.3.6 y por la nota 6.3.10 basta con probar el resultado
para sistemas reducidos. Así que sea un sistema reducido
AX = B,
Si
rg(A) = rg(A′ ),
entonces A′ no tiene pivote en su última columna y por tanto el algoritmo
6.4.1 nos permite calcular las soluciones, y por tanto el sistema es compatible.
⋄
0 0 0 0 0 1 −2
es reducido y compatible, pues no tiene pivote en la última columna. Pro-
cedemos a aplicar el algoritmo 6.4.1. las columnas pivotales de la matriz de
coeficientes son 1, 3, 5, 6, y las no pivotales 2 y 4. Construimos la matriz C
tomando las columnas no pivotales de la matriz de coeficientes
2 3
0 2
C= 0 0
0 0
. La matriz que podríamos formar tomando las columnas pivotales de la
matriz del sistema es I4 . Por tanto, se verifica
x1 2 3 2
x3 0 2 x2 −3
x5 + 0 0 x4 = −1 ,
I4
x6 0 0 −1
por lo que despejando
x1 2 2 3 2
x3 −3 0 2 x −3
2 − C x2 .
= − =
x5 −1 0 0 x4 −1 x4
x6 −1 0 0 −1
se obtiene
1 0 0 4 3 −1 1
0 −1 0 −3 −3 1 −1
0
0 −1 −5 −1 0 1
,
0
0 0 0 0 −1 1
0 0 0 0 0 0 −1
0 0 0 0 0 0 0
que está en forma escalonada. Suprimimos la última fila de ceros y
obtenemos una matriz ampliada
1 0 0 4 3 −1 1
0 −1 0 −3 −3 1 −1
0
0 −1 −5 −1 0 1 ,
0 0 0 0 0 −1 1
0 0 0 0 0 0 −1
0
0
3
0 .
E=
0
6
las soluciones son
x1 0 1 0 0 0
x2 0 0 1 0 0
λ1
x3 3 0
= + 0 −3 −3
λ2 ,
x4 0 0 0 1 0 λ3
x5 0 0 0 0 1 λ4
x6 6 0 0 0 0
con λ1 , λ2 , λ3 , λ4 ∈ R.
⋄
1 0 0 0
0 1 0 0
0 0 −3 −3
D=
0
.
0 1 0
0 0 0 1
0 0 0 0
las soluciones son
x1 1 0 0 0
x2 0 1 0 0
λ1
x3 0
= 0 −3 −3
λ2 ,
x4 0 0 1 0 λ3
x5 0 0 0 1 λ4
x6 0 0 0 0
con λ1 , λ2 , λ3 , λ4 ∈ R.
⋄
Sistemas de Cramer
Eliminación Gaussiana
Factorización LU
Métodos iterativos
Acondicionamiento de un sistema
6.6 Ejercicios
Ejercicio 6.1 Discutir y resolver en su caso los sistemas de ecuaciones li-
neales cuyas matrices ampliadas son:
1.
0 −1 −5 −3 −4 −6 −10
1
3 −7 −3 −3 −5 −10
0
−1 −5 −3 −4 −6 −10
−1 −4 2 0 −1 −1 0
−2 −8 0 −2 −3 −6 −5
1 3 1 1 −1 3 0
2.
0 −2 −5 −6
2
6 −6 1
−1 −6 −5 −10
2 10 5 14
3.
12 18 14 21 31 27
4 7 6 9 13 12
4 4 2 3 5 3
4 7 9 10 16 17
4.
15 12 11 20 14 7 8
5 4 2 5 3 2 1
−25 −20 −15 −30 −20 −11 −10
5.
0 −5 −5 −7
0 15 12 20
0 −10 −10 −16
6.
0 0 10 4 8
4 3 −17 −5 −14
0 0 −25 −10 −20
7.
8 15 −4 4 10
−4 −8 3 −1 −5
−4 −7 −4 −8 −7
6 10 −3 3 6
8.
39 65 −11 28 −3 33
−15 −25 4 −11 1 −13
9.
35 7 14 35 28 21 28
−25 −5 −10 −25 −20 −15 −20
10.
4 8 18 12 17 18
0 2 5 3 3 3
2 4 9 8 10 11
−2 2 6 5 2 5
4 0 −2 0 10 4
−2 2 6 5 2 5
11.
24 12 20
4 2 6
−4 −2 0
−16 −8 −16
12.
10 −1 2 9 7
−5 3 −4 −18 −19
−15 4 −5 −23 −21
13.
10 9 6 8 12
−5 −4 −1 1 0
0
0 −3 −8 −6
0 0 0 3 3
−5 −4 −4 −10 −14
−5 −5 −5 −9 −7
14.
1 −3 −1
2 18 18
0 −4 −3
1 −7 −5
15.
−6 −4 4 2 12 3 1
0
0 −2 −1 −6 −4 −5
−9 −6 8 2 19 0 −2
−3 −2 2 1 5 0 −1
16.
15 15 12 12 15
−10 −10 −8 −8 −10
−20 −20 −16 −16 −20
−5 −5 −4 −4 −5
−15 −15 −12 −12 −15
−5 −5 −4 −4 −5
17.
2 2 2 2 −1 0 0
0 0 0 0 −3 −4 −3
18.
4 20 36
−1 −5 −10
−2 −12 −22
3 9 16
2 8 14
−1 −5 −10
19.
9 9 3 −3 9 0 −2
3 3 1 1 4 6 6
6 6 2 12 13 41 41
−9 −9 −3 −13 −17 −44 −39
20.
3 5 2 5 5 1
−3 −5 −5 −21 −17 −17
0 0 0 4 3 2
0 0 0 4 3 4
0 0 0 0 0 0
−3 −5 −3 −9 −8 −5
21.
−8 −2 10 12 3 6
8 2 2 0 0 0
4
1 −3 −4 −1 −2
0 0 4 4 1 2
0 0 −8 −8 −2 −4
22.
0 0 0 4 9 6 9
−4 −8 −4 18 23 14 9
−2 −4 −2 19 35 27 32
−2 −4 −2 7 6 3 −2
23.
0 0 0 0 −3 −4 −3
−55 −11 −44 −88 −63 −84 −96
0
0 0 4 −5 −6 −3
−20 −4 −16 −32 −24 −32 −36
0 0 0 0 3 4 3
24.
0 −2 −5 −6 −8 −8 −11
0 0 3 3 4 2 5
−2 −5 2 2 0 −3 7
−2 −3 −2 −1 −4 −3 −7
2 5 4 4 8 9 9
25.
−8 −30 −45 −29 −15 −12 −8
4 13 20 13 7 7 5
8 30 45 29 15 16 13
26.
−2 −1 3 −4
6
3 −9 9
0 −4 −2 −2
2 9 4 7
−4 −2 6 −4
27.
20 16 18 12 10 14
40 32 36 24 20 28
−10 −8 −9 −6 −5 −7
5 4 3 1 1 2
−30 −24 −24 −14 −12 −18
Ejercicio 6.2 Discutir y resolver en su caso según los valores de los pará-
metros los sistemas de ecuaciones lineales cuyas matrices ampliadas son:
1.
−1 −4 −2 + a2 a2 − 4 −1 −1
a(a − 1) − 6
−1 −4 −2 + a2 a2 − 4 −1 −1 a(a − 1) − 6
−4 −16 −4 −12 −4 −5 −29
2 8 3a2 − 1 3 + 3a2 2 3 17 + 3a(a − 1)
2.
4 8 −2 −3a + 3b 2 −b(b + 2)c
3 6 −1 0 1 0
−4 −8 2 2a − 2b −1 b(b + 2)c
2 4 −1 −a + b 1 0
1 + b 2 −1 a − b −1 1
−6 −12 3 a − b −1 b(b + 2)c
3.
−1 −ba + 1 2 3 −1 − a + b 6 5
1
ba − 1 −1 −1 2 −1 0
1 ba − 1 −1 −1 2 − a + b −1 0
−2 −2ba + 2 3 4 −3 7 a+b+5
4.
−a − 2 2a − 2 −a 0 2
a + 2 −3a + 3 0 3(a − 1)(a + 2) 3a − 7
−2a − 4 6a − 6 −a −6(a − 1)(a + 2) −6a + 13
0 a−1 0 −2(a − 1)(a + 2) −2a + 4
5.
4a − 4b −4a − 4b − 1 −4(a + b)(−a + b) − 5 a + b −11 − a + b
3a − 3b −3a − 3b −3(a + b)(−a + b) a + b −6 − a + b
−2a + 2b 2a + 2b + 1 2(a + b)(−a + b) + 5 0 7
6.
6a2 + 5
6a 30 − a −a + 41 23 16
2a
2a2 + 2 11 − a −a + 16 8 6
2
−4a −4a − 3
−19 −25 −18 + a −10 + (a + 1)a
2
−3a −3a − 2 −14 −18 −11 −7
−2a −2a2 − 2 −11 + a 2a − 18 −8 −6
7.
−a − a2 (2 − b) −1
−5 + b −3 −5 − b
−2a − 2a2 (2 − b) −4 −14 + 4b −10 −16 − b
a + a2 (2 − b) 2 7 − 2b 5 8+b
8.
−a 0 0 −2 −5 −a
−3a 2a2 a3 4 + a3 −12 + 2a2 −3a + 15
a −a2 −a3 −3 − a3 2 − a2 a − 10
9.
2 a 1 0 7
1 a 1 1 b
1 2a 0 1 −1
b a 0 0 b
10.
a b 2 1
a 2b − 1 3 1
a b b+3 1
11.
1 − a 2a + 1 2a + 2 a
a a 0 2a + 2
2 a + a a − 1 a2 − 2a + 9
12.
2b c 0 −c c 2b
2c b − c −2c c − b b + c 0
0
c 2b −c c 2b
0 −c 0 c c 0
2c b −2c −b b 0
13.
a b ··· b 1
b a ··· b 1
.. .. .. ..
. . ··· . .
b b ··· a 1
Vectores
7.1 Vectores en Rn
7.1.1 Introducción
Cuando hablamos de vectores, solemos visualizar vectores en R2 o R3 utili-
zados habitualmente en Física elemental. Tales objetos están determinados
por las siguientes características
• Punto de aplicación.
• Módulo o magnitud.
• Dirección.
• Sentido.
Un vector queda así determinado por dos puntos del espacio que se considere,
el punto de aplicación y el punto final del vector. Para nosotros tales vectores
van a estar ligados al estudio de la geometría, que no es objeto de esta
asignatura.
También de la Física proviene la noción de vector libre. Un vector libre es
un conjunto de vectores con el mismo módulo, dirección y sentido. Es decir
un vector libre puede entenderse como un vector sin punto de aplicación, que
se puede deslizar libremente por R2 o R3 . Cada vector libre tendrá un único
representante cuyo punto de aplicación esté en el punto (0, 0) si se trata de R2
o (0, 0, 0) si estamos en R3 . Entonces tomando todos los vectores cuyo punto
de aplicación sea 0, tendremos representados a todos los vectores libres.
Precisamente esta noción es la que interesa desde el punto de vista del
Álgebra Lineal. Así dado un n ∈ N, consideraremos los puntos de Rn como
vectores generalizados cuyo punto de aplicación es (0, . . . , 0) ∈ Rn . Sobre
277
278 7.1. Vectores en Rn
7.1.1.1 Notaciones
Sea n ∈ N. Consideramos Rn . Como acabamos de decir a sus elementos los
llamaremos vectores (de Rn ). Denotaremos a los vectores de Rn mediante le-
tras latinas minúsculas en negrita. Así un vector genérico de Rn será denotado
por
x ∈ Rn .
Las componentes de un vector son cada uno de los números reales que lo
forman. Se considera un orden en las componentes. Aclaremos esto con unos
ejemplos
x = (x1 , x2 , . . . , xn ).
x = (x1 , x2 , x3 , x4 , x5 , x6 ) = (x1 , x2 , . . . , x6 ).
(x1 , x2 ) ∈ R2 ,
o como
(x, y) ∈ R2 .
7.1.2 Operaciones
Definiremos dos operaciones que se podrán realizar con los vectores de Rn .
Definición 7.1.5 Sea x = (x1 , x2 , . . . , xn ) un vector de Rn y λ ∈ R un esca-
lar. Se define el producto de λ por x como el vector de Rn cuyas componentes
son las correspondientes de x multiplicadas por λ, es decir
λx := (λx1 , λx2 , . . . , λxn ).
⋄
x + y := (x1 + y1 , x2 + y2 , . . . , xn + yn ).
Ejemplo 7.1.8
y la matriz columna
3
5
,
6
−1
tiene como vector de R4 asociado a
(3, 5, 6, −1).
⋄
En lo sucesivo identificaremos los vectores con sus matrices columna y
fila asociadas según convenga en cada caso, y no será necesario casi nunca a
la conversión explícita entre vectores y sus matrices asociadas y viceversa.
Ejemplo 7.1.10 Sea Am×n una matriz. Si x = (x1 , x2 , . . . , xn ) ∈ Rn e y =
(y1 , y2 , . . . , ym ) ∈ Rm , la expresión
x1
x2
Ax significa A .. ,
.
xn
La expresión
yA significa
y1 y2 . . . ym A,
y la matriz fila resultante del producto de matrices, puede interpretarse a su
vez como un vector de Rm , sin necesidad de decirlo explícitamente. ⋄
λ1 x 1 + λ2 x 2 + · · · + λt x t .
entonces
x11 x12 ··· x1n
x21 x22 ··· x2n
SF =
· · ·
,
··· ··· ···
xt1 xt2 ··· xtn
y
..
x11 x21 . xt1
..
x x22 . xt1
S C = 12
. .. .. .. ,
.. . . .
..
x1n x2n . xtn
⋄
Se tiene que
2 3 1 5
S F = 0 −3 4 7 ,
1 2 −2 −1
y que
2 0 1
3 −3 2
SF = .
1 4 −2
5 7 −1
⋄
2. (S C )t = S F .
y = α1 x 1 + α2 x 2 + · · · + αt x t ,
vemos que es una matriz escalonada por filas y que no tiene ninguna fila nula.
El sistema de R5
S = [(0, 0, 1, 2, 2), (−2, −10, 0, −4, −4), (2, 10, −1, 2, 2),
(3, 15, −2, 2, 2), (5, 25, −3, 4, 4)].
que como tiene dos filas no nulas nos dice que el rango es 2. Luego
rg S = 2.
Demostración:
Para sistema triviales es trivial. Para sistemas no triviales es inmediata a
partir de la posibilidad de revertir y encadenar el tipo de operaciones que se
realizan en las matrices asociadas a los sistemas por filas. ⋄
S = [(1, 0, 0, 3), (0, 1, −1, −2), (−2, −8, 8, 10), (1, 0, 1, 6), (−1, −3, 3, 3)],
y el sistema
T = [(−2, −11, 11, 16), (0, 1, −1, −2), (1, 4, −4, −5), (−2, 0, −2, −12),
(−1, −3, 3, 3)].
Demostración:
Es inmediata a partir de las propiedades correspondientes para matrices. ⋄
Es muy sencillo ver que ambos tienen rango uno y que no pueden ser equi-
valentes. ⋄
S = [(−2, −2, −3, −5, −4), (−2, −6, −6, −6, −5), (5, 11, 12, 14, 13),
(−1, 5, 3, −1, 1), (3, 1, 3, 7, 6)].
Ahora hacemos operaciones elementales por filas para pasar a forma escalo-
nada
−2 −2 −3 −5 −4 −1 5 3 −1 1
−2 −6 −6 −6 −5 f14 −2 −6 −6 −6 −5 f21
−2
5 ,f −2 ,f 3
,f31 41 51
5
11 12 14 13 −→ 5 11 12 14 13
− −−− − −− −−→
−1 5 3 −1 1 −2 −2 −3 −5 −4
3 1 3 7 6 3 1 3 7 6
−1 5 3 −1 1 −1 5 3 −1 1
0
−16 −12 −4 −7 f31/9 ,f41/3 0 −16 −12 −4 −7 f23
−−−−−→ 0 −→
0 36 27 9 18 4 3 1 2
0 −12 −9 −3 −6 0 −4 −3 −1 −2
0 16 12 4 9 0 16 12 4 9
−1 5 3 −1 1 −1 5 3 −1 1
0 4 3 1 2 4 1 −4 0 4 3
1 2 −1
f32 ,f42 ,f52 f53
0
−16 −12 −4 −7 − − − −− − → 0 0 0
0 1 −−→
0 −4 −3 −1 −2 0 0 0 0 0
0 16 12 4 9 0 0 0 0 1
−1 5 3 −1 1
0 4 3 1 2
0 0 0 0 1
,
0 0 0 0 0
0 0 0 0 0
−1 5 3 −1 1
0 4 3 1 2 ,
0 0 0 0 1
a su forma reducida
−1 5 3 −1 1 1/4 −1 1 −5 −3 1 −1 −1/2 1
f2 ,f1 f23 ,f13
TF = 0 4 3 1 2 −− −−−→ 0 1 3/4 1/4 1/2 −− −−−→
0 0 0 0 1 0 0 0 0 1
1 −5 −3 1 0 5
1 0 3/4 9/4 0
f12
0 1 3/4 1/4 0 −→ 0 1 3/4 1/4 0 ,
0 0 0 0 1 0 0 0 0 1
que es una matriz reducida. Tomando sus filas como vectores se obtiene el
sistema
R = [(1, 0, 3/4, 9/4, 0), (0, 0, 1, 3/4, 1/4, 0), (0, 0, 0, 0, 1)],
que es el sistema reducido asociado a S (y a T ). ⋄
7.3 Subespacios
7.3.1 Subespacios y sistemas
Definición 7.3.1 Sea S un sistema de Rn . Denotaremos por hSi al conjunto
de Rn formado por todas las posibles combinaciones lineales del sistema S.
⋄
Definición 7.3.2 Sea G un subconjunto de Rn .
1. Diremos que G es un subespacio de Rn , si existe un sistema S de Rn
tal que
G = hSi .
2. Diremos entonces que G es el subespacio generado por S.
3. Diremos también que S es un sistema generador de G.
⋄
Ejemplo 7.3.3 Consideremos el sistema de R5 .
S = [(5, 5, 4, 1), (5, 1, 2, −7), (−5, 1, −1, 11)],
Como G = hSi es el conjunto de vectores de R5 que son combinación lineal
del sistema S, se tiene
G = {α1 (5, 5, 4, 1) + α2 (5, 1, 2, −7) + α3 (−5, 1, −1, 11) / α1, α2 , α3 ∈ R}
= {(5α1 + 5α2 − 5α3 , 5α1 + α2 + α3 , 4α1 + 2α2 − α3 , α1 − 7α2 + 11α3 ) /
α1 , α2 , α3 ∈ R} .
Demostración:
⋄
Definición 7.3.6 Sea G un subespacio de Rn . Llamaremos dimensión de G
y la denotaremos por dim G, al rango de un sistema generador cualquiera de
G. ⋄
Nota 7.3.7 Obsérvese que el rango de todos los sistemas que generen a un
mismo subespacio han de ser el mismo, pues son equivalentes, lo que implica
que sus matrices asociadas por filas tienen el mismo rango. Por tanto la
dimensión de un subespacio está bien definida.
Para calcular la dimensión de un subespacio, sólo hay que encontrar un
sistema generador, construir su matriz por filas asociada y calcular su rango,
por ejemplo reduciendo a forma escalonada por filas. ⋄
Ejemplo 7.3.8 Se considera el subespacio G de R5 generado por el sistema
S = [(0, 5, −2, 4, 0), (1, 2, −2, −1, 1), (−1, 0, 0, −1, 0), (1, 1, −1, 0, 1),
(−1, −4, 2, −3, 0)].
Para calcular la dimensión, es suficiente calcular el rango del sistema S. Para
ello construimos su matriz por filas y la reducimos a forma escalonada
0 5 −2 4 0
1 2 −2 −1 1 1
f13 ,f21 1 −1 −5 −2 4 1/2 3 ,f 1
−−−−−,f−41−,f−51−−
,f24 ,f32 ,f42 ,f52 ,f5 ,f35 ,f53
54
−1 0 0 −1 0 −− − − − − − − − − −− −− − −−→
1 1 −1 0 1
−1 −4 2 −3 0
−1 0 0 −1 0
0 1 −1 −1 1
0 0 −1 −3 2
,
0 0 0 0 −1
0 0 0 0 0
de donde se deduce que dim G = 4. ⋄
Ejemplo 7.3.10 Por convenio diremos que una base del subespacio cero de
Rn es el sistema vacío []. Por tanto la dimensión del subespacio cero es cero,
y éste es el único subespacio con esta propiedad. ⋄
Ejemplo 7.3.11 Una base de Rn , puede verse con facilidad que está formada
por el sistema de n vectores
e1 = (1, 0, 0, . . . , 0, 0, 0)
e2 = (0, 1, 0, . . . , 0, 0, 0)
··················
en−1 = (0, 0, 0, . . . , 0, 1, 0)
en = (0, 0, 0, . . . , 0, 0, 1).
Demostración:
S = [(0, 5, −2, 4, 0), (1, 2, −2, −1, 1), (−1, 0, 0, −1, 0), (1, 1, −1, 0, 1),
(−1, −4, 2, −3, 0)].
y una base es el sistema de vectores formado por las filas de esta última
matriz
B = [(−1, 0, 0, −1, 0), (0, 1, −1, −1, 1), (0, 0, −1, −3, 2), (0, 0, 0, 0, −1)].
es libre, porque su rango es 2, como puede deducirse del cálculo del menor
de S F
1 0
1 1 = 1 6= 0,
G ⊆ H =⇒ dim(G) ≤ dim(H).
(i) G es un subespacio de Rn .
(a) x + y ∈ G, ∀ x, y ∈ G.
(b) λx ∈ G, ∀ x ∈ G, ∀ λ ∈ R
λ1 a1 + λ2 a2 + · · · + λs as ∈ G.
Este resultado puede ser útil para comprobar que algo es un subespacio sin
necesidad de construir explícitamente un sistema generador
T = [(1, 0, 0, 0)],
que es una base de G. Es fácil ver que añadiendo a S el vector (0, 1, 0), se
obtiene una base de R3 . Luego h(0, 1, 0)i es un suplementario de G en R3 . ⋄
Por tanto las soluciones de todo sistema homogéneo con n incógnitas cons-
tituyen un subespacio de Rn , generado por el sistema cuya matriz asociada
por columnas es D. Además a partir de la expresión de las soluciones es
inmediato obtener las ecuaciones paramétricas del subespacio
Demostración:
demo
S = [(8, 6, 2, 2, 2), (4, 0, −2, −3, −2), (4, 3, 1, 1, 1), (0, 3, 3, 4, 6)].
Para obtener ecuaciones implícitas, primero tenemos que obtener una forma
escalonada equivalente, proceso que no detallaremos
8 6 2 2 2
4 3 1 1 1
4
0 −2 −3 −2
−→ 0 3 3 4 3 .
4 3 1 1 1
0 0 0 0 3
0 3 3 4 6
por filas
4 3 1 1 1
0 3 3 4 3 f41 −x1 /4
−−−−→
0 0 0 0 3
x1 x2 x3 x4 x5
4 3 1 1 1
0 x1 /4−x2 /3
3 3 4 3 f42
−−−−−−→
0 0 0 0 3
0 −3x1 /4 + x2 −x1 /4 + x3 −x1 /4 + x4 −x1 /4 + x5
4 3 1 1 1
0 3 3 4 3
0 0 0 0 3
0 0 x1 /2 − x2 + x3 3x1 /4 − 4x2 /3 + x4 x1 /2 − x2 + x5
4 3 1 1 1
−x /6+x2 /3−x5 /3
f43 1 0 3 3 4 3
−− −−−−−−−−→ 0 0
.
0 0 3
0 0 x1 /2 − x2 + x3 3x1 /4 − 4x2 /3 + x4 0
G + H = {x + y / x ∈ G, y ∈ H}.
G + H = h(1, 1, 0, 1), (2, 1, 0, 1), (0, 3, 0, 3), (1, −1, 0, 0), (0, 1, −1, 0)i .
G1 + G2 + · · · + Gp ,
Nota 7.3.47 De la misma manera, podemos decir que una cantidad finita
de subespacios de Rn forman suma directa si al unir bases de cada uno de
ellos se obtiene una base de la suma, y se representará la suma en este caso
por
G1 ⊕ G2 ⊕ · · · ⊕ Gp .
⋄
7.3.4.2 Intersección
Definición 7.3.48 Sean G y H dos subespacios de Rn . La intersección con-
juntista
G ∩ H = {x ∈ Rn /x ∈ G y x ∈ H},
es un subespacio vectorial de Rn al que llamaremos subespacio intersección
de G y H. ⋄
y
T = [(0, 1, 1, 1)].
Utilizando la definición, se veía que formaban suma directa. También po-
dría haberse demostrado por cualquiera de las condiciones de la Proposición
7.3.52.
Por ejemplo, en este caso
Producto de subespacios
7.4 Coordenadas
Definición 7.4.1 Sea G un subespacio de Rn de dimensión d. Sea S una base
de G. Sea z ∈ G. Por 7.3.16, sabemos que existen únicos α1 , α2 , . . . , αd ∈ R
tales que
α1
α2
z = S C .. .
.
αd
Llamaremos a α1 , α2 , . . . , αd las coordenadas de z en la base S de G, y las
denotaremos por
z S = (α1 , α2 , . . . , αd )S .
⋄
Se tiene que
Demostración:
Para cada i ∈ {1, . . . , d}, por 7.4.4 la columna i-ésima de S T son las coorde-
nadas del i-ésimo vector de S en T , y por 7.4.1 y 5.4.26 la columna i-ésima
de T C S T son las componentes del i-ésimo vector de S, lo que por definición
es la i-ésima columna de S C .
Por lo tanto T C S T y S C son iguales, pues lo son columna a columna. ⋄
zT = S T zS .
Demostración:
Sea z ∈ G. Aplicando 7.4.5 y 7.4.1 se tiene
T C (S T z S ) = (T C S T )z S = S C z S = z = T C z T ,
S T zS = zT
T = [x1 , x2 , x3 ],
donde
Luego
1 −1 0
TS = 1 1 −3 .
2 0 −2
Consideremos el vector de G, y = (0, −1, −1, 0, 0). Es sencillo comprobar que
y T = (1, 1, 1)T .
1. S T V S = V T
2. S T es inversible y (S T )−1 = T S
1. Para cada i ∈ {1, . . . , d}, por 7.4.4 la columna i-ésima de V S son las coordenadas
del vector i-ésimo de V en la base S, luego por 5.4.26 y 7.4.6, la columna i-ésima de
S T V S son las coordenadas del vector i-ésimo de V en la base T , pero esta es por
definición la columna i-ésima de V T .
Así las matrices S T V S y V T son iguales, pues todas sus columnas lo son.
ST T S = T T ,
7.4.1 Coordenadas en Rn
En el caso particular en que consideremos como espacio de Rn el propio Rn ,
siguen siendo válidas todas las nociones, definiciones y notaciones empleadas
anteriormente para el estudio de las coordenadas.
(x1 , x2 , . . . , xn ) = (x1 , x2 , . . . , xn )E = xE ,
y esta es la propiedad que hace que la base canónica sea especial. Por tanto,
dado un vector, siempre que necesitemos trabajar con coordenadas, tendre-
mos en cuenta que sus componentes son sus coordenadas en la base canónica.
De esto se sigue fácilmente que si S es un sistema de Rn entonces
SC = SE
S = [(1, 1, 0, 0, 0), (0, 1, 1, 0, 0), (0, 1, 1, 1, 0), (0, 1, 0, 1, 1), (1, 1, 1, 1, 1)].
xS = E S xE .
Como tenemos las componentes de los vectores de S, que son sus coordenadas
en la base canónica, se tiene que
1 0 0 0 1
1 1 1 1 1
0
SE = SC = 1 1 0 1.
0 0 1 1 1
0 0 0 1 1
Ahora
−1
1 0 0 0 1 1/2 1/2 −1/2 0 −1/2
1 1 1 1 1 −1/2 1/2 1/2 −1 1/2
E S = (S E )−1
0
= 1 1 0 1 =
0 0 0 1 −1 .
0 0 1 1 1 −1/2 1/2 −1/2 0 1/2
0 0 0 1 1 1/2 −1/2 1/2 0 1/2
Entonces
1/2 1/2 −1/2 0 −1/2 −1
−1/2 1/2 1/2 −1 1/2 3
xS =
0 0 0 1 −1 4
−1/2 1/2 −1/2 0 1/2 −2
1/2 −1/2 1/2 0 1/2 1
7.5 Ejercicios
Ejercicio 7.1 Probar que el subconjunto de R3 formado por todos sus ele-
mentos con primera componente 1, no es un subespacio.
3. Encontrar un suplementario de G en G + H.
3. Encontrar un suplementario de G en G + H.
S = [(1, 1, 1, 1), (1, 0, 1, 0), (0, 2, 0, 2), (1, −1, 1, −1), (3, −2, 3, −2),
(1, −1, 1, 0)].
S = [(3, 6, 39, 27, 21), (−1, 3, 7, 11, 8), (1, 0, 5, 1, 1), (−1, 2, 3, 7, 5)],
T = [(−1, 1, −1, 3, 2), (6, −4, 14, −10, −6), (4, −3, 8, −8, −5)].
¿Es hSi = hT i?
1. Para n = 3
[(−3, 1, 1), (4, −1, −1), (9, −3, −4)]
2. Para n = 5
[(0, −2, −1, 0, −11), (0, −4, −2, −1, −24), (0, −5, −3, 0, −30),
(0, 0, 0, 1, 2), (0, 2, 1, 0, 11)]
3. Para n = 5
[(−1, 0, −3, −3, −4), (0, −1, −4, −1, −4), (1, 2, 11, 5, 12),
(1, 1, 7, 4, 8)]
4. Para n = 7
[(0, 0, 2, 6, 6, 10, 4), (0, 0, −5, −15, −15, −25, −10),
(0, −1, −3, −12, −14, −18, −9), (0, 1, 0, 3, 5, 3, 3),
(0, 0, −1, −3, −3, −5, −2), (0, 0, 1, 3, 3, 5, 2)]
5. Para n = 4
[(4, 20, 4, 12), (6, 30, 6, 18), (1, 5, 1, 3)]
6. Para n = 7
[(−3, 0, 3, −9, 0, −9, −9), (5, 0, −4, 16, 5, 16, 16),
(1, 1, 0, 5, 7, 6, 9), (2, 0, −2, 6, 0, 6, 6), (0, 0, 1, 1, 5, 1, 1)]
7. Para n = 4
[(3, 2, 20, 14), (−11, −7, −72, −50)]
8. Para n = 2
[(7, −2), (1, 0), (−4, 1)]
9. Para n = 7
[(0, 2, −2, 6, −4, 0, 2), (0, −1, 1, −3, 2, 0, −1), (1, 0, 1, 3, 5, 4, 5),
(2, 1, 0, 8, 4, 6, 10), (1, 1, 0, 6, 3, 4, 6)]
10. Para n = 4
[(−4, −16, 1, 2), (1, 4, 0, 0), (3, 12, 0, −1), (−1, −4, 0, 1),
(−2, −8, 0, 0)]
11. Para n = 5
[(−1, −4, 0, −2, −1), (1, 4, 1, 7, 5)]
12. Para n = 5
[(−1, 0, −1, −3, −1), (−4, −1, −7, −17, −8), (3, 1, 6, 14, 7),
(−4, 0, −4, −12, −4)]
13. Para n = 2
[(−3, 4), (−4, 5), (1, −1)]
14. Para n = 7
[(3, 12, −2, 6, 0, 7, 5), (5, 20, −4, 8, 0, 11, 7),
(−4, −16, 3, −7, 0, −9, −6), (4, 16, −3, 7, 1, 11, 11)]
15. Para n = 7
[(0, 1, 0, 4, 1, 2, 0), (1, −1, 0, 0, 4, 3, 1), (0, 0, 1, 2, 5, 4, 0),
]
(0, 1, −1, 2, −4, −2, 0), (−1, 1, 0, 0, −4, −3, 0)]
16. Para n = 6
[(−1, −5, −2, −3, −7, −13), (7, 35, 13, 20, 46, 86),
(1, 5, 2, 3, 7, 13), (13, 65, 24, 37, 85, 159)]
17. Para n = 5
[(2, 4, 0, 10, 1), (−1, −3, 0, −6, −1), (−1, −4, −1, −9, 1),
(1, 2, 0, 5, 0)]
18. Para n = 5
[(1, 0, −1, 1, 1), (0, 1, 0, 0, 4), (1, 0, −1, 1, 1), (0, −2, 0, −1, −10),
(1, 2, −2, 0, 3), (−2, −2, 2, −1, −8)]
19. Para n = 3
[(0, 1, −1), (−1, −2, 2), (0, −1, 0)]
20. Para n = 5
[(2, 8, 1, 11, 7), (1, 4, 0, 3, 3), (1, 4, 1, 8, 4), (−1, −4, 0, −3, −3)]
2.
[(−a(b − 1), 0, 14ab(c − 1)), (−a(b − 1), 0, 8ab(c − 1)),
(3a(b − 1), −(a − 1)b, −7ab(c − 1)),
(3a(b − 1), −(a − 1)b, 0), (0, 0, ab(c − 1))]
3.
[(−2a − 1, −a − 1, 2 − 2a2 , −2a), (2a − 1, 4 − a, −17 + 2a2 , 2a),
(−1, 2 − a, −5, 0), (a − 1, 3 − a, −11 + a2 , a),
(a + 1, a, a2 + 4, a), (2a + 1, a + 1, −2 + 2a2 , 2a)]
4.
[(a + 2, b − 1, 4, a + 3, 3, 4, 3), (−a − 1 + a(b − 1), 1, 3, −a, 1, 2, 5),
(a + 3, 2b − 2, 8, 5 + a, 6, 8, 6 + (a − 1)b),
(−a(b − 1) + a, −b, −7, a − 2, −4, −6, −8),
(−a − 3, 2 − 2b, −8, −5 − a, −6, −8, −6 − (a − 1)b)]
F = {(x, y, z) ∈ R3 / x = y = z},
G = {(x, y, z) ∈ R3 / x = 0}.
Probar que R3 = F ⊕ G.
S = [(1, 1, −1), (3, 8, 2), (0, −3, −3), (−2, −2, 2)].
Sea F = hSi
Sea F = hSi
Aplicaciones lineales
en el vector de R3
(1, 8, −5),
con el mecanismo matricial antes descrito, pues
−2
1 1 −1 0 1 2 1
8 = 3 0 −2 4 6 −1
−5 0 1 2 4 −2 0
2
325
326 8.1. Transformaciones lineales
lA : Rn −→ Rm
.
x 7−→ Ax
lA : R5 −→ R3
x1
1 −1 0 1 2 x2 .
(x1 , x2 , x3 , x4 , x5 ) −
7 → 3 0 −2 4 x3
6
0 1 2 4 −2 x4
x5
Así
lA (−2, 1, −1, 0, 2) = (1, 8, −5),
de donde
y1 = x1 −x2 +x4 +2x5
y2 = 3x1 −2x3 +4x4 +6x5
y3 = x2 +2x3 +4x4 −2x5
2. f(λx) = λf(x), ∀ x ∈ Rn y ∀ λ ∈ R.
⋄
f(x) = x1 b1 + x2 b2 + · · · + xn bn , ∀ x = (x1 , x2 , . . . , xn ) ∈ Rn
Demostración:
El esquema de la demostración es
(i) ⇒ (ii)
⇑ ⇓
(v) ⇐ (iv) ⇔ (iii)
α11 α12 α1n
α21 α22 α2n
= x1 .. + x2 .. + · · · + xn .. =
. . .
αm1 αm2 αmn
= x1 b1 + x2 b2 + · · · + xn bn ,
f(x) = x1 b1 + x2 b2 + · · · + xn bn , ∀ x = (x1 , x2 , . . . , xn ) ∈ Rn .
α11 α12 α1n
α21 α22 α2n
= x1 .. + x2 .. + · · · + xn .. =
. . .
αm1 αm2 αmn
α11 x1 + α12 x2 + · · · + α1n xn
α21 x1 + α22 x2 + · · · + α2n xn
= .. ,
.
αm1 x1 + αm2 x2 + · · · + αmn xn
y se verifica (iii).
⋄
demostración del teorema nos muestra mecanismos para pasar de una a otra
escritura.
Otra consecuencia es que las aplicaciones lineales respetan las combina-
ciones lineales.
f(S)C = AS C .
Demostración:
Sea S = [a1 , a2 , . . . , as ]. Para cada i ∈ {1, . . . , s}, la columna i-ésima de
f(S)C por definición es el vector f(ai ).
Por la interpretación de la multiplicación de matrices 5.4.26, la columna
i-ésima de AS C es el producto de A por la columna i-esima de S C es decir,
Aai = f(ai ), luego las dos matrices son iguales, pues coinciden columna a
columna. ⋄
0 : Rn −→ Rm
.
x 7−→ 0
I : Rn −→ Rn
.
x 7−→ x
Demostración:
Sea A la matriz tal que f = lA .
1. f(x) = lA (0) = A0 = 0
f(ai ) = bi , i = 1, . . . , n.
Demostración:
Primero probaremos que existe tal aplicación lineal. Sea E = [e1 , e2 , . . . , en ]
la base canónica de Rn . Siempre podemos construir la matriz de paso de E
a B a la que denotábamos en 7.4.4 por E B y la matriz por columnas de
S. Definimos la matriz A = S C E B y sea f = lA . Por definición, f es una
aplicación lineal. Además para cada i = 1, . . . , n, se tiene
f(ai ) = lA (ai ) = Aai = AaiE = S C E B aiE = S C aiB = S C ei = bi ,
por lo que f es una aplicación lineal que cumple con las condiciones del
enunciado.
Veremos ahora que f es única. Supongamos que existe otra aplicación
lineal g : Rn −→ Rm verificando
g(ai ) = bi , i = 1, . . . , n.
En ese caso sea x ∈ Rn y supongamos que
xB = (α1 , α2 , . . . , αn )B .
En este caso
x = α1 a 1 + α2 a 2 + · · · + αn an ,
y entonces
f(x) = f(α1 a1 + α2 a2 + · · · + αn an ) = α1 f(a1 ) + α2 f(a2 ) + · · · + αn f(an )
= α1 b1 + α2 b2 + · · · + αn bn = α1 g(a1 ) + α2 g(a2 ) + · · · + αn g(an )
= g(α1 a1 + α2 a2 + · · · + αn an ) = g(x),
y así f = g ⋄
Ejemplo 8.2.11 Sea
B = [(1, 1, 0), (0, 1, 1), (1, 0, 1)].
Resulta sencillo comprobar que es una base de R3 . Consideramos el sistema
de R2
S = [(1, 1), (1, −1), (2, 0)].
Intentaremos construir la aplicación lineal f : R3 −→ R2 que verifica
f(1, 1, 0) = (1, 1)
f(0, 1, 1) = (1, −1)
f(1, 0, 1) = (2, 0).
⋄
Demostración:
Nota 8.2.14 Obsérvese como las demostraciones de 8.2.13 y 8.2.7 nos pro-
porcionan un método para calcular el Núcleo y la Imagen de una aplicación
lineal. Lo único que hay que tener en cuenta es que para el caso del núcleo,
la matriz B que aparece en la demostración de 8.2.7 puede ser claramente
In , que nos proporciona ecuaciones implícitas para {0}, con lo cual, con las
notaciones de 8.2.13, el sistema lineal homogéneo cuya matriz de coeficientes
es A son ecuaciones implícitas para Ker f.
Para el caso de Img f = f(Rn ), basta tomar como sistema generador de
R la base canónica, cuyas imágenes son los vectores columna de la matriz
n
(i) f es inyectiva.
(iii) rg f = n.
Demostración:
Se deja para el lector. ⋄
(i) f es sobreyectiva.
(ii) Img f = Rm .
(iii) rg f = m.
Demostración:
Se deja para el lector. ⋄
(i) f es biyectiva.
(iii) rg f = n = m.
Demostración:
Es consecuencia inmediata de 8.2.19 y 8.2.20 ⋄
1. ∀ x ∈ Rn tenemos
2. ∀ x ∈ Rn tenemos
lA−1 ◦ f(x) = lA−1 ◦ lA (x) = lA−1 (lA (x)) = lA−1 (Ax)
= A−1 Ax = In x = x.
8.2.5.2 Composición
Proposición 8.2.28 Sean n, m, p ∈ N y f : Rn −→ Rm , g : Rm −→ Rp
aplicaciónes lineales. La aplicación g◦f : Rn −→ Rp es una aplicación lineal.
Demostración:
Sean A la matriz asociada a f y B la matriz asociada a g. Sea x ∈ Rn
8.2.6 Coordenadas
′
Definición 8.2.30 Sean n, n′ ∈ N, f : Rn −→ Rn una aplicación lineal, S
′
una base de Rn y S ′ una base de Rn . Llamaremos matriz de f en las bases
S y S ′ y la denotaremos por fSS ′ a la matriz n′ × n
fSS ′ = f(S)S ′ ,
Nota 8.2.31 Nótese que la columna i-ésima de fSS ′ está formada for las
coordenadas del vector i-ésimo de f(S) en la base S ′ , i = 1, . . . , n, por lo que
podemos construir dicha matriz con facilidad. ⋄
Ejemplo 8.2.32 ⋄
′
Lema 8.2.33 Sean n, n′ ∈ N, f : Rn −→ Rn una aplicación lineal, E la base
′
canónica de Rn y E ′ la base canónica de Rn . Entonces la matriz asociada a
f es la matriz de f en las bases canónicas, fE
E′
Demostración:
Es inmediata a partir de la definición 8.2.30 y de 7.4.9. ⋄
S ′ T ′ fSS ′ T S = fTT ′ .
S ′ T ′ fS
S′ T S =
(Por la definición de matriz asociada 8.2.30)
= S ′ T ′ f(S)S ′ T S = (S ′ T ′ f(S)S ′ )T S =
(Por las propiedades de las matrices de paso 7.4.8)
= f(S)T ′ T S = (E ′ T ′ f(S)E ′ )T S = E ′ T ′ f(S)E ′ T S =
(Por la identificación de coordenadas canónicas con componentes 7.4.9)
= E ′ T ′ f(S)C T S =
(Por 8.2.5)
= E ′ T ′ (AS C )T S =
(Porque la matriz asociada es la matriz en las bases canónicas 8.2.33)
= E ′ T ′ (fE ′ E
E ′ S C )T S = E T ′ fE ′ S C T S =
(Por la identificación de coordenadas canónicas con componentes 7.4.9)
= E ′ T ′ fE ′ E
E ′ S E T S = E T ′ fE ′ (S E T S ) =
(Por las propiedades de las matrices de paso 7.4.8)
= E ′ T ′ fE
E′ T E=
(Por la identificación de coordenadas canónicas con componentes 7.4.9)
= E ′ T ′ fE ′ ′ E
E ′ T C = E T (fE ′ T C ) =
(Porque la matriz asociada es la matriz en las bases canónicas 8.2.33)
′
E T ′ (AT C ) =
(Por 8.2.5)
= E ′ T ′ f(T )C =
(Por la identificación de coordenadas canónicas con componentes 7.4.9)
′
= E T ′ f(T )E ′ =
(Por las propiedades de las matrices de paso 7.4.8)
= f(T )T ′ =
(Por la defininición de matriz asociada 8.2.30)
= fT
T′.
Ejemplo 8.2.35 ⋄
′
Lema 8.2.36 Sean n, n′ ∈ N, f : Rn −→ Rn una aplicación lineal, S una
base de Rn y S ′ una base de Rn . La matriz fSS ′ es la única que verifica la
′
propiedad
f(x)S ′ = fSS ′ xS , ∀ x ∈ Rn .
Demostración:
′
Sean E la base canónica de Rn y E ′ la base canónica de Rn .
fSS ′ xS =
(Por la fórmula de cambio de base 8.2.34)
(E ′ S ′ fE ′ E
E ′ S E )xS = E S ′ fE ′ (S E xS ) =
(Por la fórmula de cambio de base 8.2.34)
= E ′ S ′ fE ′ ′
E ′ xE = E S ′ fx = E S ′ f(x)E ′ = f(x)S ′
f(x)S ′ = BxS , ∀ x ∈ Rn .
Entonces,
fE ′ ′ ′
E ′ x = f(x) = S E ′ f(x)S ′ = S E ′ BxS = (E S ′ BE S )x
fE ′ ′ E S
E ′ = S E ′ BE S ⇐⇒ B = E S ′ fE ′ S E = fS ′ .
Ejemplo 8.2.37 ⋄
′ ′ ′′
Lema 8.2.38 Sean n, n′ , n′′ ∈ N, f : Rn −→ Rn , g : Rn −→ Rn aplica-
′ ′′
ciones lineales, S una base de Rn S ′ una base de Rn y S ′′ una base de Rn .
Entonces
(g ◦ f)SS ′′ = gSS ′′ fSS ′
′
Ejemplo 8.2.39 ⋄
8.3 Endomorfismos
Definición 8.3.1 Sea n ∈ N. Un endomorfismo de Rn es una aplicación
lineal f : Rn −→ Rn ⋄
Ejemplo 8.3.6 ⋄
S T fSS T S = fTT .
Ejemplo 8.3.9 ⋄
f(x)S = fSS xS , ∀ x ∈ Rn .
Ejemplo 8.3.11 ⋄
Ejemplo 8.3.13 ⋄
8.3.1 Diagonalización
Dados n ∈ N y f un endomorfismo de Rn , trataremos de ver si existe alguna
base B de Rn tal que fBB sea lo más sencilla posible. Podemos entender que
las matrices diagonales son bastante sencillas y desde este punto de vista
intentaremos encontrar B para que fB B sea diagonal. Esto no siempre será
posible, así que vamos a darle un nombre especial a los endomorfismos que
tienen esa propiedad.
f: R3 −→ R3
(x, y, z) 7−→ (−10x + 12y + 6z, −6x + 8y + 3z, −6x + 6y + 5z)
es diagonalizable. ⋄
f(ai ) = αi ai , i = 1, . . . , n.
Demostración:
Si f es diagonalizable, existe una base
B = [a1 , a2 , . . . , an ]
de Rn y escalares
α1 , α2 , . . . , αn ∈ R
tales que
α1 0 · · · 0
0 α2 · · · 0
fB = .. .. . ,
B
. . ..
0 0 · · · αn
y como fB
B = f(B)B entonces
f(ai ) = αi ai , i = 1, . . . , n.
[(2, 1, 1)]
mula (−1) = 1,
mula (2) = 2.
mull (−1) = 1,
mull (2) = 2.
⋄
Demostración:
⋄
Ejemplo 8.3.46 Sea f como en el Ejemplo 8.3.15. Puede verse que Ef (−1)
y Ef (2) calculados en el Ejemplo 8.3.38, forman suma directa. ⋄
Demostración:
⋄
Corolario 8.3.48 Sean n ∈ N y A una matriz n × n. Son equivalentes
(i) A es diagonalizable
(ii) Se verifican
(a) Todas las raíces de PA (x) son reales.
(b) Para cada valor propio α de A, se tiene que
mull (α) = mula (α).
⋄
Ejemplo 8.3.49 Sea f como en el Ejemplo 8.3.15.De los Ejemplos 8.3.35 y
8.3.41 deducimos que f es diagonalizable. ⋄
Nota 8.3.50 En la práctica, si un endomorfismo de Rn , f verifica que es
diagonalizable, de todo lo anterior se sigue que construyendo una base de
cada espacio propio de f y concatenándolas todas, se obtiene una base B de
Rn tal que la matriz fB
B es diagonal.
Además, si A es la matriz asociada a f, E es la base canónica de Rn y
P = B E , entonces
P−1 AP
es una matriz diagonal. ⋄
Corolario 8.3.51 Sean n ∈ N y f un endomorfismo de Rn . Si todas las
raíces de Pf (x) son reales y con multiplicidad 1, entonces f es diagonalizable
⋄
Corolario 8.3.52 Sean n ∈ N y A una matriz n × n. Si todas las raíces de
PA (x) son reales y con multiplicidad 1, entonces A es diagonalizable ⋄
Tenemos que
3 2
−10 12 6 −10 12 6 1 0 0
PA (A) = − −6 8 3 +3 −6 8 3 −4 0
1 0
−6 6 5 −6 6 5 0 0 1
28 −36 −18 −24 36 18 4 0 0
= 18 −26 −9 + −18 30 9 − 0 4
0 =
18 −18 −17 −18 18 21 0 0 4
4 0 0 4 0 0 0 0 0
= 0 4 0 − 0 4 0 = 0 0 0 .
0 0 4 0 0 4 0 0 0
⋄
m(x) = (x − α1 ) · · · (x − αs ).
Entonces
m(A) = 0 n×n
.
⋄
8.4 Ejercicios
Ejercicio 8.1 Sea el sistema de R4
Calcular una base de Ker f y ecuaciones implícitas para Img f. Probar que
para este endomorfismo Ker f y Img f forman suma directa.
hα : Rn −→ Rn
.
x 7−→ αx
Probar que
1. hα es un endomorfismo de Rn , ∀ α ∈ R.
2. hα es un automorfismo si y sólo si α 6= 0.
3. h−1
α = h1/α , ∀ α ∈ R − {0}
4. hα + hβ = hα+β , ∀ α, β ∈ R.
5. hα ◦ hβ = hαβ , ∀ α, β ∈ R.
f = hα ⇐⇒ fB
B = αIn .
1. H = ∅ ⇐⇒ n es impar.
2. Si f ∈ H entonces f ◦ f = 0.
Ejercicio 8.6 Sean n ∈ N y An×n una matriz tal que exise p ∈ N con
Ap = 0n×n . Probar que entonces la matriz B := In − A es inversible y que
B−1 = In + A + A2 + . . . + Ap−1.
y de
1 2 3 4
0 1 2 3
.
0 0 1 2
0 0 0 1
f: R3 −→ R2
,
(x, y, z) 7−→ (2x + y, y − z)
S = [(1, 1, 1), (0, 1, 2), (0, 2, 1)] base de R3 y S ′ = [(2, 1), (1, 0)] base de R2 .
Calcular la matriz asociada a f y fSS ′ .
S ′ = [(1, −1, 0, 1, 0), (1, 0, 1, 0, 0), (0, 0, 1, −1, 0), (−1, −1, 1, 0, 1),
(0, 0, 0, −1, 0)],
g : R3 −→ R5 tal que
−1 1 0
0
1 −1
gSS ′ −1
= 0 1,
0 1 0
1 0 0
y el endomorfismo h = f ◦ g de R3 .
f: R3 −→ R3
.
(x, y, z) 7−→ (0, 2x, y)
4. Sea el sistema de R3
[(1, 1, 1), (0, 1, 1), (0, 0, 1)].
Comprobar que es una base de R3 y calcular fSS
1. Calcular base y ecuaciones implícitas para Img f y Ker f segun los va-
lores de a y b.
2. Estudiar para que valores de a y b se tiene Ker f ⊕ Img f.
3. Sean G el subespacio de R4 con ecuaciones implícitas
2x1 −x2 = 0
x3 −2x4 = 0
1 −1 α − 1 −α − 1
1. Calcular rg f según los valores de α.
2. Calcular bases ecuaciones implícitas y paramétricas y espacios suple-
mentarios de Img f y Ker f según los valores de α.
3. Se considera el subespacio F de R4
F = {(x, y, z, t) ∈ R4 / x + y = 0, z + t = 0}.
1. Probar que el sistema B = [(1, 2, 1), (1, −1, 0), (2, 0, 1)] es una base de
R3 y calcular fSS .
(i)
−6 −38 14 8 0 −28 0 −2
3
7 −1 1 0 7 0 2
−3 0 −6 −5 0 1 0 2
6
30 −8 −3 0 20 0 2
0
0 0 0 4 0 −8 0
−5 −4 −4 −6 0 −5 0 −4
0 0 0 0 0 0 −4 0
0 0 0 0 0 0 0 3
(ii)
−18 −9 9 −1 −10 −9 −9 0
−9 −3 6 1 −4 0 −3 0
−32 −13 16 −4 −14 −13 −13 0
10
5 −5 1 6 5 5 0
0 0 0 0 2 0 0 0
5
4 −4 −3 4 1 4 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 6
(iii)
21 −20 −40
−25 16 40
25 −20 −44
(iv)
11 0 −10 −15 −5 0
−5 4 8 15 5 0
5
0 −4 −15 −5 0
0 0 0 10 2 0
0 0 0 −12 0 0
3 0 −6 27 19 −2
(v)
−9 4 −27 1 0 31 −26 −11
0 −4 0 0 0 0 0 0
−3 2 −8 1 0 6 −1 −3
−6 4 −8 −2 0 12 −4 −6
3 −4 6 −3 −6 −6 3 3
−3 2 −13 1 0 11 −12 −3
0 0 0 0 0 0 −6 0
0 0 3 0 0 −3 3 2
(vi)
−2 −1 0 0 0 0 0
2 1 0 0 0 0 0
−4 −4 4 0 0 8 0
3 1 0 1 0 0 0
−1 −1 0 0 −5 1 0
4 4 0 0 0 −4 0
0 0 0 0 0 0 −1
(vii)
4 2
−12 −6
(viii)
−6 0 0 0
−6 43 −60 74
−12 24 −39 48
−6 −3 0 0
(ix)
−3 −5 −5 −5 5 0 0
30 −25 −48 6 −6 −30 0
−19 11 25 −7 7 20 0
0 0 0 3 0 0 0
11 −16 −25 0 3 −10 0
0 0 0 0 0 −5 0
0 0 0 0 0 0 1
(x)
10 6 −6
−12 −8 12
−3 −3 7
(xi)
−55 −100 52
15 25 −17
−45 −90 32
(xii)
135 −160 −30 30 −40
100 −115 −20 20 −30
−140 160 25 −31 40
0 0 0 −6 0
160 −200 −40 40 −45
(xiii)
−1 20 10 20
−3 −20 −8 −16
−44 14 24 42
25 7 −7 −11
(xiv)
−32 0 28 −9 −56
−47 5 11 18 −76
0
0 −4 9 0
0 0 0 5 0
16 0 −16 9 28
(xv)
−26 −8 −16
22 10 10
37 10 25
(xvi)
−3 0 0 0 0 0
−9 −2 −3 0 0 0
12 0 1 0 0 0
−1 0 0 −4 0 0
0 0 0 0 1 0
4 3 3 −5 0 1
(xvii)
−95 −380 130
−24 −83 30
−135 −500 176
(xviii)
−76 135 81
−27 50 27
−27 45 32
(xix)
131 −352
48 −129
(xx)
−31 −46 96 −10 10 0
−10 −16 30 −11 11 0
−14 −21 43 −7 7 0
−4 −11 19 −2 −4 0
0 −7 7 −7 1 0
−4 −11 19 4 −4 −6
(xxi)
−26 −33
14 17
(xxii)
−4 0
−6 −2
(xxiii)
−4 0 0 −1 −4 0 0
13
3 −12 −17 28 0 0
5
2 −7 −7 12 0 0
0
0 0 −5 0 0 0
0 0 0 0 0 0 0
0 0 0 5 0 0 0
−5 −5 10 5 0 0 4
(xxiv)
−5 −8 −8 −25 −4 8 8 −4
0 5 0 1 0 0 0 0
0 −18 −13 −43 −8 18 25 −8
0 0 0 4 0 0 0 0
0
0 0 −4 −6 0 4 0
0 −19 −19 −52 −8 24 33 −8
0 0 0 6 0 0 −2 0
0 −18 −18 −32 3 18 14 −3
(xxv)
−3 0
0 −3
(xxvi)
−749 −1920 −248 0 0
360 923 120 0 0
−516 −1324 −177 0 0
9 23 3 0 0
4 10 1 0 −4
(xxvii)
10 2 4 −14 4 −12 0 −4
20 −1 6 −16 7 −15 0 −6
5 −5 3 6 1 6 0 −8
3 −3 0 7 2 5 0 0
−14 7 −2 2 1 3 0 2
4
3 2 −12 1 −11 0 −2
0 0 0 0 0 0 6 11
0 0 0 0 0 0 0 −5
(xxviii)
6 4 10 0 14 14 −16 −10
11
9 −4 0 −23 10 8 0
8 12 −10 0 −20 4 8 10
18 18
0 −4 −18 16 0 0
2 −2 6 0 6 6 −8 −10
−9 −9 0 0 9 −12 0 0
2 −2 6 0 0 6 −2 −10
0 0 0 0 0 0 0 4
(xxix)
−34 90 −60
0 −4 0
20 −60 36
(xxx)
−13 28 −28 −54 −20 16 16
2
7 −12 −26 −4 16 16
16 −15 10 14 16 0 0
−7 14 −14 −26 −10 8 8
9 −23 23 43 13 −8 −8
0 0 0 0 0 −6 0
0 0 0 0 0 0 −6
(xxxi)
5 0 0 30 0 0 0 0
0 4 1 29 0 0 0 0
0 0 5 20 0 0 0 0
0
0 0 −5 0 0 0 0
0 0 0 20 5 0 19 9
−1 2 −2 21 0 6 −20 −9
0 0 0 0 0 0 −14 −9
0 0 0 0 0 0 18 13
(xxxii)
−5 13 14 16 0 3 0 2
−10 18 14 16 0 3 0 2
−6 −4 −14 −14 0 −2 0 0
16 −9 5 3 0 −1 0 −2
−25 24 23 23 2 10 4 4
−8 14 16 20 0 5 0 4
18 −4 10 10 0 −2 −2 −2
0 0 0 0 0 0 0 0
(xxxiii)
−13 −30
6 14
(xxxiv)
−13 −38 46 −57 0 −18
−21 −49 65 −76 0 −25
−7 −1 3 −8 0 −1
8
38 −46 52 0 18
0 0 0 0 −4 0
6 11 −17 17 0 7
(xxxv)
2 −5 −7 −15
0 −3 0 0
0 0 −5 −11
0 0 0 6
(xxxvi)
−5 5 −10 5 5 0 0
−67 67 −178 5 41 0 0
−18 18 −50 0 10 0 0
1 −1 2 −5 −1 0 0
30 −30 76 0 −20 0 0
25 −25 66 0 −16 1 0
−30 30 −76 0 21 0 1
(xxxvii)
−117 −116 198 −74 0 −20
−50 −56 88 −34 0 −10
−106 −109 182 −71 0 −20
−50 −51 88 −39 0 −10
50 51 −88 59 4 18
100 102 −176 70 0 16
(xxxviii)
15 7 7 3 −16 7 0
−1 −2 −7 −3 7 −7 0
0 0 5 0 0 0 0
37 14 14
1 −29 14 0
19
7 7 3 −20 7 0
0 0 0 0 0 5 0
−5 0 4 0 5 0 1
(xxxix)
93 −30 22 −126
181 −68 26 −210
−77 42 12 42
6 4 12 −30
(xl)
20 14 0 0 −32 0 0 0
−7 −1 0 0 16 0 0 0
8
8 3 −5 −21 2 1 3
−8 −8 0 −6 5 0 0 0
8
8 0 0 −11 0 0 0
8
8 0 −5 −21 5 0 3
0 0 0 0 0 0 4 0
0 0 0 16 16 0 0 2
(xli)
1 5 0 0
0 6 0 0
0 −8 2 0
−5 39 12 −4
(xlii)
251 −105
588 −246
(xliii)
−1 −11 5
−21 19 −35
−9 15 −19
(xliv)
4 0 0 0 0 0 0 0
0 −4 0 0 0 0 0 0
9
0 −4 −9 0 0 0 0
−1 0 0 5 0 0 0 0
2
0 7 −2 −1 0 7 2
0 0 0 0 0 1 0 0
−7 0 10 7 0 0 6 0
0 0 0 0 0 0 0 −3
(xlv)
6 0 0 0
8 10
8 −12
−8 −4 −2 12
0 0 0 6
(xlvi)
8 0 6 −8
−28 −4 −22 32
−88 −28 −58 92
−60 −20 −40 64
(xlvii)
−3 −6 1 −2 2 2
0 3 0 0 0 0
0
0 −4 2 −2 −2
0 0 4 0 4 4
0 0 0 0 −2 0
0 0 8 −2 8 6
(xlviii)
88 82 120 39 −28 28
−123 −117 −180 −59 42 −42
20
20 35 10 −7 7
0 0 0 5 0 0
0 0 0 0 −6 0
0 0 0 0 −8 2
(xlix)
5 0 −3 0 0 0 0 0
0 −1 0 −2 2 −2 0 0
0 0 2 0 0 0 0 0
0
0 3 5 −6 −2 0 0
0
0 3 2 −3 −2 0 0
0
0 0 6 −6 −3 0 0
0 0 −3 −2 8 2 5 0
0 0 3 5 −6 −2 0 0
(l)
−6 0 −7 0 3 0 0
−6 0 −24 0 −8 −5 0
0 0 4 0 0 0 0
0
0 −9 −4 9 9 0
0
0 −7 0 −3 0 0
0 0 6 0 8 5 0
0 0 0 0 0 0 −2
(li)
−3 0 28 2 −20
0 −5 0 0 0
0 0 5 0 0
0 0 −10 −4 10
0 0 −1 0 6
(lii)
4 −12
4 −10
(liii)
−5 20 0 0 0 −20
8 −15 0 0 0 18
1 −2 −1 0 5 2
0 0 4 3 4 0
−1 2 0 0 −6 −2
8 −20 0 0 0 23
(liv)
1 0
0 1
(lv)
−577 −1312
252 573
(lvi)
−16 −2
60 6
(lvii)
7 −4 9 8 4 12
−4 −1 0 8 −12 28
0 0 4 0 0 0
0
0 −9 −5 0 0
−4 2 −9 −6 −3 0
0 0 0 0 0 5
(lviii)
−3 0 0
−16 −1 8
4 0 −5
(lix)
−3 0 0 0
−26 −4 −5 −20
−24 0 1 0
12 0 0 1
(lx)
4 0 0 0 0
−12 8 0 −5 5
0 0 6 0 0
−18 20 0 −12 10
6 10 0 −5 3
(lxi)
−599 −350
1032 603
(lxii)
−3 0 −4 0 0 4
23 −26 47 6 0 −5
14 −14 27 4 0 −4
0 0 0 4 0 0
−14 14 −18 −5 5 0
14 −14 26 4 0 −3
(lxiii)
1 0 0 −4 −9 −3 0
0
6 0 −3 −3 0 0
0 −24 0 18 18 0 0
0
0 0 3 −3 0 0
0 0 0 0 6 0 0
0 0 0 0 0 4 0
0 0 0 0 0 0 4
(lxiv)
−7 −4 −7 0
8 5 8 0
0 0 0 0
0 0 5 −5
(lxv)
−4213 −7601 −3601 3390
2064
3723 1768 −1661
512 925 432 −413
−64 −116 −52 50
(lxvi)
2 3 12 18 0 6 0
2
1 −12 −12 0 −6 0
−1 −1 5 6 0 3 0
0
0 0 −2 0 0 0
0 0 0 0 5 0 0
0 0 0 0 0 2 0
1 1 −1 0 0 −5 4
(lxvii)
−30 0 −108 108 21 0 0 0
0
6 0 0 −7 0 0 0
0
0 −6 6 7 6 0 0
−9 0 −39 39 14 6 0 0
0
0 0 0 −1 0 0 0
0 0 0 0 0 6 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 6
(lxviii)
−6 0 0 0
−11 5 0 0
3 0 −3 0
−19 0 −8 5
(lxix)
1 2 4 0 0 0 0
0 2 2 0 0 0 0
0 0 1 0 0 0 0
0
0 −4 5 0 0 0
0
0 0 0 −2 0 −4
0 0 0 0 0 5 0
0 0 0 0 0 0 2
(lxx)
11 −27 −4 5
3 −7 −4 −1
−3 1 −2 1
3 −9 −8 −3
(lxxi)
10 16 0 0 0 0 0 0
−8 −14 0 0 0 0 0 0
0
0 −3 0 0 0 0 0
3
3 0 −1 0 0 0 0
−5 −5 0 5 −6 0 0 0
−2 −2 0 10 0 −6 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 3
(lxxii)
−24 0 30
−35 1 45
−20 0 26
(lxxiii)
−8 −38 0 2 −30 16 16
0
10 0 −6 6 −6 −6
7
38 −1 −2 30 −16 −16
3
7 0 5 4 −4 3
4
20 0 −2 19 −6 −13
−7 −17 0 −8 −14 5 3
8 48 0 −10 40 −18 −30
(lxxiv)
10 −4 −13
75 −27 −75
−18 6 15
(lxxv)
0 −6 −3 6 0 0 0 0
−4 2 2 −4 0 −4 0 0
−14 22 3 −16 0 −8 0 0
−14 22 8 −21 0 −8 0 0
0
0 9 −9 4 0 0 0
−8 10 4 −8 0 4 0 0
0 0 0 0 0 0 4 0
0 0 0 0 0 0 0 1
(lxxvi)
0 −18 7 0 0 4
0 5 0 0 0 0
−6 −18 13 0 0 4
0 0 0 0 0 0
4 4 −5 0 −6 −3
2 36 −14 0 0 −7
(lxxvii)
3 0 0 0 0 0
−6 −21 0 6 3 0
8 −1 −6 13 −4 0
2 −16 0 13 −1 0
−6 −60 0 24 6 0
12 6 −48 36 −6 6
(lxxviii)
5 7 −2 −3
0 1
0 −6
6 12 −2 −18
0 3 0 −8
(lxxix)
−16 4 −2 11 0
14 −10 4 −11 0
28 −14 5 −22 0
−22 4 −2 17 0
0 0 0 0 4
(lxxx)
48 26 0 0 14 24 0 8
−78 −43 0 0 −21 −37 0 −12
−6 1 −2 −3 −3 −4 −4 −3
0
0 0 −5 0 3 0 0
−28 −14 0 0 −12 −14 0 −14
0
0 0 0 0 −2 0 0
−78 −45 0 0 −21 −33 2 −12
0 0 0 0 0 0 0 5
(lxxxi)
−12 3 0 6 0
−4 −3 0 4 0
−1 1 −5 2 0
−7 3 0 1 0
0 0 0 0 −6
(lxxxii)
3 8 −1 0
12 12 6 0
−42 −52 −16 0
12 14 6 −2
(lxxxiii)
−4 −2 −6 4 0 0
0 5 0 0 0 0
0
1 −8 −4 0 −10
0
5 −9 −2 0 −9
0 −4 4 −5 −3 −1
0 −5 9 4 0 11
(lxxxiv)
−19 11 0 4 −4 0 −13 3
−22 14 0 4 −4 0 −18 8
16 −8 −6 −4 4 0 0 4
3 −5 1 3 −8 −9 13 −16
27 −17 1 −3 −2 −9 21 −12
−23 11 0 4 −4 4 −13 3
0 0 0 0 0 0 6 0
0 0 0 0 0 0 8 −2
(lxxxv)
−3 0 0
−14 4 7
0 0 −3
(lxxxvi)
2 0 0
−3 5 0
−9 9 2
(lxxxvii)
695 525 −249
−618 −466 222
646 490 −230
(lxxxviii)
−1 0 0 0 0 0
10 −12 −10 0 0 −10
−6 4 5 −3 0 4
0 0 0 4 0 0
0 0 0 0 −3 0
−8 11 8 3 0 9
(lxxxix)
3 0 0 0 0 0 0 0
0 3 0 0 0 0 0 0
7
32 8 −7 −7 −7 0 7
12
17 0 −6 0 −12 0 4
7
41 14 −7 −13 −7 0 7
1 0 0 0 0 2 0 0
0 0 0 0 0 0 −3 0
4 −10 0 0 0 −4 0 −2
(xc)
20 −5 −1 26
5 −6 −5 10
−7 5 6 −12
−9 0 −1 −10
(xci)
−4 3 −10 0 0 5
−6 5 −14 0 0 6
0 0 0 0 0 0
0 0 0 5 0 0
1 3 1 10 −5 −3
0 0 −6 0 0 3
(xcii)
32 36 0 −33 −9
−10 −10 0 11 3
5
12 −1 −1 0
38 48 0 −35 −9
−72 −96 0 60 14
(xciii)
28 22 −66 38
26
43 −115 47
4 16 −40 12
−30 −14 48 −36
(xciv)
−29 −90 40
14 43 −18
7 21 −8
(xcv)
−669 −667 −562 334
416
414 352 −208
84 84 69 −42
−378 −378 −315 188
(xcvi)
10 10 0 5 −5 0 0
−6 −14 4 −9 9 0 3
−10 −10 0 −5 5 0 −3
4
16 −4 12 −8 0 −3
2 −2 4 −1 5 0 3
2 2 1 1 −1 −1 1
0 0 0 0 0 0 3
(xcvii)
28 54 0 16 −18 14 0 −18
60
104 0 40 −20 40 0 −20
18
30 0 12 −6 12 0 −6
12 24 0 6 0 12 0 0
−2 −6 0 0 −4 −2 0 1
−154 −274 0 −96 58 −100 0 58
0 0 0 0 0 0 −2 0
120 218 0 80 −40 80 0 −45
(xcviii)
2 2 −5
5 11 −25
2 4 −9
(xcix)
6 −5 −18 0 5 −5 0
0 13
30 0 −12 13 0
0 −5 −12 0 5 −5 0
−16 15 46 −2 −21 11 0
0 0 0 0 1 0 0
0 0 0 0 0 0 0
−5 14 39 0 −14 16 1
(c)
53 7 −75
−48 −2 75
36 6 −49
(ci)
85 −25 25
238 −70 70
−51 15 −15
(cii)
3 0 0 0 0 0
14
2 4 −4 0 0
−28 −2 −3 3 0 0
−6 −1 −1 1 0 0
−1 0 0 0 3 0
0 0 0 0 1 3
(ciii)
3 27 0
0 −6 0
−1 42 3
(civ)
1 0 0 0 0
−2 0 −3 1 2
−4 −15 −7 2 5
16 49 29 −8 −19
−21 −55 −37 11 25
(cv)
−3 0 −4
−162 −45 −81
96 25 53
(cvi)
5 0 0 0 1
−7 3 1 0 −2
10 −1 1 0 3
4 5 2 5 0
1 2 1 1 5
(cvii)
7 −4 3 −1 −3
5 −2 3 −1 −3
−3 3 −1 0 −1
6 −5 3 1 0
0 0 0 0 −1
(cviii)
4 1 1 −1
−3 1 −1 1
0 4 15 −10
1 5 14 −9
(cix)
2 4 13 −5 1
17 −1 9 −17 3
−6 1 −1 6 −1
0 4 13 −2 0
0 4 13 −4 2
(cx)
2 0 0 0 1 −1
2
4 0 −10 12 −3
−1 0 2 0 0 0
0
0 0 6 −1 0
−1 −1 0 −5 6 2
−1 −1 0 −5 4 4
(cxi)
2 3 −3
13 3 −7
19 10 −14
(cxii)
−23 −19 48 36
−1 −5 2 −1
−10 −10 21 18
0 0 0 −4
(cxiii)
−3 −26 14 −14
9
67 −36 35
11 82 −44 43
−5 −37 20 −19
(cxiv)
9 −5 −3 −2
11 −6 −1 −1
16 −33 −24 −13
−39 62 37 21
(cxv)
17 8 2 0 0
−15 −5 −2 1 −2
−24 −16 −1 −4 8
6 4 1 3 0
−7 −4 −1 0 5
(cxvi)
0 2 3 0 1
4 −3 3 1 −3
−5 0 −7 −1 1
4 1 3 −3 0
0 0 0 0 −1
(cxvii)
−4 5 −5 0 4
−13 14 −9 0 4
−8 8 −3 0 0
−9 10 −6 1 3
−4 4 −4 0 5
(cxviii)
0 2 4 0 1
6 1 11 0 5
−6 −4 −13 0 −4
−2 −2 −3 −3 0
3 2 6 0 0
(cxix)
2 2 −1 1
−1 2 0 0
−2 −2 1 −1
−3 3 −4 4
(cxx)
−1 −1 2 1
0 −1 1 0
1 −1 0 0
−1 0 1 0
(cxxi)
−20 −11 −10 −24 −9 23
−2 −5 −2 6 −1 −5
65
44 40 56 40 −57
47
35 26 42 32 −38
−24 −17 −16 −23 −20 23
49 36 28 40 33 −37
(cxxii)
1 1 −5
−1 −1 11
0 0 −6
(cxxiii)
−36 −5 1 0 −19
75 12 0 0 39
−39 −7 −1 0 −20
−12 −7 −6 −6 −3
35 4 −2 0 19
(cxxiv)
−2 0 0
0 −14 −49
0 4 14
(cxxv)
132 −153 24 0
104 −120 20 0
−36 45 0 0
−61 72 −9 0
(cxxvi)
−5 −1 1 1 0 0
1 −7 2 6 0 0
0
0 −6 0 0 0
0
0 0 −1 0 0
−6 6 −2 −4 −1 −1
5 −5 6 6 0 −1
(cxxvii)
−4 6 −6 0 1
−28 25 −31 −5 1
−36 30 −36 −6 0
34 −37 36 −1 −1
−84 78 −78 −6 2
(cxxviii)
2 −1 −1 0
−1 2 −2 1
2 2 6 −1
1 1 2 2
(cxxix)
1 7 4 5
−2 −6 −2 −2
−4 −4 0 4
3 5 1 −1
(cxxx)
−234 −812 73 0
66
229 −21 0
8 28 −7 0
3 11 −6 −2
(cxxxi)
0 1 −1
45 72 −66
46 74 −68
(cxxxii)
75 127 −153
−20 −37 38
20 32 −43
(cxxxiii)
1 0 0 −2 −3
−2 4 −1 −2 −3
0 0 4 0 0
0 0 0 2 1
1 0 0 2 3
(cxxxiv)
−8 −71 61
2 27 −26
2 22 −21
(cxxxv)
0 −7 4
−6 4 2
−15 −5 11
(cxxxvi)
−39 −19 −46 80 −81
22
7 32 −44 43
22
2 38 −44 42
22 −6 43 −43 44
22 2 33 −44 47
(cxxxvii)
7 0 −4
9 −3 −10
1 0 3
(cxxxviii)
−377 −942 1140 694
173
431 −526 −316
−22 −57 65 45
69 174 −210 −131
(cxxxix)
−11 3 1 1
−13 2 1 −1
4 −2 −4 4
−5 3 −1 −9
(cxl)
791 −793 401 −235 −235
390 −392 198 −115 −115
−406 406 −208 120 120
0 1 1 −2 0
640 −641 319 −192 −194
(cxli)
30 −1 −38
−48 −4 52
24 −1 −32
(cxlii)
74 −20 1
288 −78 4
108 −28 −2
(cxliii)
−13 −11 −19
4 3 6
4 4 5
(cxliv)
5 4 2 −2
−1 −1 0 1
−9 −6 −4 3
4 3 2 −1
(cxlv)
2 8 2 0 1 10
0 −5 −1 0 0 −3
40 28 −11 0 6 5
7
8 2 −5 1 10
4 0 −2 −1 −4 −4
−14 −8 4 0 −2 −1
(cxlvi)
−2 16 16
0 1 −1
0 1 3
(cxlvii)
2 1 1 −2
1
0 −1 0
−2 −1 −1 2
2 1 0 −2
(cxlviii)
24 −10 19 32 12
74 −31 47 87 32
−34 13 6 −9 3
24 −9 −5 5 −3
17 −7 9 18 6
(cxlix)
−26 17 0 0 −42
−13 13 0 0 −17
0 0 3 0 0
0 0 1 3 0
19 −10 0 0 31
(cl)
0 0 0 0 0
0 4 0 0 0
0
4 0 0 −1
0 −1 0 4 0
−1 0 0 0 0
(cli)
−3 4 16 −21
1
9 50 −68
1 −3 −15 12
−3 1 0 −8
(clii)
−6 3 −3 4
3 −2 1 1
12 −7 6 −8
5 −3 3 −5
(cliii)
−1 5 0 0 1
0 5 0 0 0
0 −5 −1 0 −1
0 1 0 5 0
−1 6 −1 0 −1
(cliv)
−7 3 −6 −3 6
1 −3 4 0 −4
−1 0 −5 1 3
1 0 3 −3 −3
−2 1 −3 0 1
(clv)
−11 3 −6 −5
−1 1 −2 1
25 −5 14 9
7 −3 2 6
(clvi)
7 −8 5 −1
7 −8 5 −1
−3 2 −4 −1
−4 3 −4 −1
(clvii)
0 0 1 0 0
−124 39 −10 −31 −25
0 0 0 0 0
−112 36 −17 −28 −25
−24 7 2 −6 −2
(clviii)
11 −18 −9 0
4 −10 0 0
5 −6 −7 0
−7 1 19 2
(clix)
−68 24 6 −27 −3
−184 65 24 −69 −8
0 0 −4 0 0
8 −3 8 7 0
−8 3 −7 −11 −4
(clx)
−4 1 −1 −3 5 5
3 −4 4 3 −6 −4
2 −1 0 2 −4 −3
0
1 −1 −2 0 1
0 1 −1 0 −2 1
−1 0 0 −1 2 0
(clxi)
−7 −12 −2
0 6 0
4 57 −1
(clxii)
44 −4 −25 −80
0
−3 −1 5
46 −4 −27 −80
9 −1 −5 −17
(clxiii)
−8 −1 4 11 0 −2
11
8 −14 −10 −7 1
5
4 −6 −5 −4 0
−6 −1 3 9 0 −1
2 2 −5 −1 −1 0
5 4 −4 −5 −4 −2
(clxiv)
−96 −40 −2 −80
37
16 −1 28
−160 −66 −3 −133
94 39 3 80
(clxv)
4 −1 −1 0 0 −3
1 6 1 2 1 4
2 3 6 4 2 7
0 0 0 4 0 0
0 2 1 1 4 4
−1 −2 −1 −2 −1 0
(clxvi)
1 −3 13 9
0 4 0 0
0 0 4 0
−1 −1 4 7
(clxvii)
6 52 −55 0 109
−44 −253 260 0 −534
−22 −125 127 0 −267
56 323 −335 −3 693
9 51 −53 0 106
(clxviii)
5 2 0 3
−4 −2 1 −7
−1 −2 5 −2
1 2 −1 6
(clxix)
34 57 −54 54
−39 −62 53 −54
0 0 −5 0
13 19 −17 13
(clxx)
41 −20 36 −40
77 −38 63 −70
0 0 −3 1
−7 4 0 −3
(clxxi)
4 −1 −2
118 76 162
−57 −34 −73
(clxxii)
−5 0 0 0
−8 4 0 9
−8 9 −5 10
−1 0 0 −5
(clxxiii)
6 −6 0 −7 6 0
25 −10 −9 −42 18 −4
27 −2 −4 −32 5 −21
−2 −5 1 3 4 7
23 −14 −8 −38 21 2
0 0 0 0 0 −1
(clxxiv)
58 −140 −27 −27
24 −58 −11 −11
3 −7 −7 −9
−3 7 5 7
(clxxv)
7 1 −1
−1 5 1
0 0 6
(clxxvi)
5 132 72 0 59
0 −48 −60 0 −18
0 27 20 0 12
1 53 23 5 24
0 88 110 0 33
(clxxvii)
2 8 −1 1
−3 −5 −1 −2
−6 −6 −4 −5
0 −2 1 0
(clxxviii)
2 0 0
7 −14 −8
−6 16 10
(clxxix)
−4 0 1 −1 1 0
1 −4 1 −1 1 0
0
0 2 −4 9 −3
0
0 4 −9 4 −1
0 0 −2 −1 −9 2
0 0 2 −3 1 −6
(clxxx)
−17 −6 1 0
24
7 −2 0
−46 −15 4 1
54 19 −5 −2
(clxxxi)
1 5 1 6 0 0
0 −4 0 −1 −1 1
0
3 1 7 −3 2
0
1 0 −2 0 0
0 0 0 0 −3 4
0 0 0 0 0 1
(clxxxii)
0 1 1 −2
−8 −5 0 10
3 2 0 −4
−3 −1 1 2
(clxxxiii)
2 0 3 −6 15
−1 1 −6 12 −31
−14 0 −6 19 −35
14 0 7 −18 35
1 0 4 −5 16
(clxxxiv)
58 70 170
86 105 277
−51 −62 −159
(clxxxv)
16 −29 −2 −4
10 −18 −1 −1
−3 5 −1 −6
0 0 0 −5
(clxxxvi)
7 4 8
69 15 52
−31 −10 −27
(clxxxvii)
−8 0 0 9 0
−8 1 0 9 1
0 0 1 0 0
−4 0 0 4 0
9 0 −1 −9 1
(clxxxviii)
4 2 −1
−4 −2 2
−3 −6 6
(clxxxix)
7 −4 9 1 1 −7
−15 8 −19 −2 −2 12
−7 3 −7 −1 −1 5
−7 0 −6 5 −1 −1
6 0 5 1 7 6
1 0 1 0 0 1
(cxc)
7931 −6279 −3757 14688
−3568 2831 1692 −6611
3829 −3034 −1819 7089
−4829 3825 2287 −8945
(cxci)
76 31 5 83
−85 −39 −5 −85
63 26 −6 62
−36 −13 −3 −43
(cxcii)
−44 −2 50 −1 −1
16
1 −16 0 0
−37 −1 43 −1 −1
−1 2 2 5 −1
7 −14 −8 1 7
(cxciii)
3 −1 −1 −1
1
2 0 −1
0 1 4 1
−1 0 −1 3
(cxciv)
−2151 −1313 −823
5825 3559 2234
−3679 −2251 −1416
(cxcv)
5 0 1 −4
−5 −4 −6 0
−5 0 1 5
9 0 1 −8
(cxcvi)
−33 −57 −15 −13
20 35 8 7
−29 −49 −7 −9
48 77 20 21
(cxcvii)
−45 −2 −16
15 −4 10
165 10 56
(cxcviii)
382 285 227
−64 −48 −38
−572 −426 −340
(cxcix)
−4 −20 0 13 −1
0
3 0 −1 0
0 −8 −4 −6 −2
0 1 0 5 0
−2 −4 1 12 −4
(cc)
−2 −1 0 0
1 0 0 0
−11 −7 3 −4
−5 −2 1 −1
(cci)
−20 36 −56 −28 0 −24
−32 65 −106 −45 0 −44
−16 31 −50 −23 0 −20
8 −5 2 9 0 4
3 −5 7 5 −1 4
0 0 0 0 0 0
(ccii)
1 −3 0 5 0
0 4 0 0 0
−1 6 −3 2 0
−1 −1 0 −1 0
0 −6 6 −6 3
(cciii)
27 −78 −2 −16 123 0 0
130 −488 4 −55 756 0 0
−118 416 −2 54 −648 0 0
122 −416 1 −59 652 0 0
90 −338 3 −38 524 0 0
0 0 0 0 0 5 0
0 0 0 0 0 0 −4
(cciv)
31 113 80 80 113
−24 −91 −65 −65 −96
36 118 80 84 118
−22 −70 −48 −52 −70
5 24 19 19 29
(ccv)
11 −23 −12 0
6 −13 −7 0
−2 6 4 0
−1 5 2 2
(ccvi)
−5 −23 −7 2 10 −7 −2
8 −17 −26 −6 −8 7 −1
−8 11 20 6 8 −7 1
−8 10 22 7 8 −7 −1
0 −6 −2 −2 5 0 −1
−16 26 50 4 36 −12 1
−16 42 66 4 36 −14 3
(ccvii)
24 8 −8 8 0 0
−8 −2 10 −3 0 0
0
0 −6 0 0 0
−53 −18 4 −17 0 0
−32 −10 −4 −12 3 0
0 0 0 0 0 −3
(ccviii)
−5 0 0 0 0 0
−6 1 0 0 0 0
34 6 3 0 0 0
0
0 0 −3 0 0
−12 −2 0 −12 9 10
4 1 0 5 −5 −5
(ccix)
0 2 4 0
−3 5 4 0
6 −7 −2 0
−8 9 6 4
(ccx)
−4 −1 0 2 −4 −1 0
6
0 0 −2 5 −20 0
8
2 −2 −2 7 −12 0
3
0 0 −1 3 −7 0
0
1 0 −2 0 1 0
0 0 0 0 0 6 0
0 0 0 0 0 0 4
(ccxi)
−4 0 0 0 0 0
0 3 0 0 0 0
6 1 2 0 0 0
−5 −2 4 5 0 −1
0 0 0 0 4 0
3 −3 16 13 0 −1
(ccxii)
−139 174 21 21 −40 3 0
−94 118 14 14 −27 2 0
8 −12 −2 0 3 −1 0
−164 204 28 26 −45 4 0
0 0 0 0 1 0 0
−40 50 5 5 −16 0 0
0 0 0 0 0 0 4
(ccxiii)
−6 10 1 16 4 9
−40 54 11 54 7 42
68 −93 −20 −86 −5 −72
19 −24 −5 −23 −4 −19
0 0 0 0 1 0
0 0 0 0 0 1
(ccxiv)
1 3 1 0 1
0 2 0 0 0
−7 −59 −7 0 −1
7 59 11 4 1
−2 6 2 0 −4
(ccxv)
−10 −4 −1 −7 −2 0
−76 −12 11 −23 5 0
−112 −32 −9 −61 7 0
73
18 −3 33 1 0
0 0 0 0 1 0
0 0 0 0 0 −2
Espacios vectoriales
399
400 9.1. Espacios vectoriales generales
2. α0 = 0, ∀ α ∈ R.
4. (α1 + · · · + αs )x = α1 x + · · · + αs x, ∀ α1 , . . . , αs ∈ R, ∀ x ∈ V.
⋄
Ejemplo 9.1.3 Rn ⋄
9.1.1 Subespacios
Definición 9.1.19 Sea V un R-espacio vectorial. Diremos que un conjunto
G ⊆ V es un subespacio vectorial de V si se verifican
1. x + y ∈ G, ∀ x, y ∈ G
2. αx ∈ G, ∀ α ∈ R, ∀ x ∈ V.
⋄
Proposición 9.1.20 Sean V un R-espacio vectorial y G ⊆ V. Son equiva-
lentes
(i) G es un subespacio de V.
(ii) α1 x1 + · · · + αs xs ∈ G, ∀ α1 , . . . , αs ∈ R, ∀ x1 , . . . , xs ∈ G.
⋄
Proposición 9.1.21 Sean V un R-espacio vectorial y G un subespacio de V.
Entonces G es también un R-espacio vectorial con las operaciones inducidas
por las de V. ⋄
Proposición 9.1.22 Sean V un R-espacio vectorial y G un subespacio de
V. Se tienen las siguientes propiedades
1. 0 ∈ G.
2. Sea el vector 0 ∈ V. El conjunto {0} es un subespacio de V. Lo llama-
remos el subespacio cero o nulo de V.
3. V es un subespacio de V. Lo llamaremos el subespacio total de V.
⋄
{x1 + · · · + xs / x1 ∈ G1 , . . . , xs ∈ Gs },
x1 + · · · + xs = 0, con x1 ∈ G1 , . . . , xs ∈ Gs =⇒ x1 = · · · = xs = 0.
9.1.1.1.2 Interseción
Producto
Cociente
9.1.2 Sistemas
Definición 9.1.27 Sea V un R-espacio vectorial. Un sistema de V es una
colección finita y ordenada de vectores de V. ⋄
α1 x1 + α2 x2 + · · ·+ αs xs = 0, con α1 , α2 , . . . , αs ∈ R =⇒ α1 = · · · = αs = 0.
f : V −→ V′ ,
2. f(αx) = αf(x), ∀ α ∈ R, ∀ x ∈ V.
0 : V −→ V′
.
x 7−→ 0
IV : V −→ V
.
x 7−→ x
1. f(0) = 0.
2. Img f es un subespacio de V′ .
⋄
(ii) Img f = V′ .
⋄
(i) f es biyectiva.
α1 f1 + · · · + αs fs : V −→ V′
x 7−→ α1 f1 (x) + · · · + αs fs (x)
9.3.1 Dimensión
Proposición 9.3.4 Sea V un espacio vectorial tal que existen n, n′ ∈ N e
′
isomorfismos f : Rn −→ V, g : Rn −→ V. Entonces n = n′ .
Demostración:
Por 9.2.12 y 9.2.16 g ◦ f−1 es un isomorfismo de Rn en Rn por lo que n = n′ .
′
⋄
Definición 9.3.5 Sea V un R-espacio vectorial de dimensión finita. Por 9.3.4
existe un único n ∈ N y al menos un isomorfismo f : Rn −→ V. Llamaremos
a n la dimensión de V y lo denotaremos por
dim V = n.
⋄
9.3.2 Bases
Definición 9.3.6 Sea V un R-espacio vectorial de dimensión finita. Diremos
que un sistema S de n vectores de V es una base de V si existe una base B
de Rn tal que la única aplicación lineal f : Rn −→ V con f(B) = S es un
isomorfismo ⋄
9.3.3 Coordenadas
Definición 9.3.9 Sean n ∈ N, V es un R-espacio vectorial de dimensión
n, B una base de V y E la base canónica de Rn . Sabemos (ver 9.3.1 y
9.3.8) que existe un único isomorfismo f : Rn −→ V tal que f(E) = B.
Llamaremos isomorfismo coordenado de V en la base B y lo denotaremos
por lB al isomorfismo f−1 . ⋄
xB = lB (x).
xB = (α1 , α2 , . . . , αn ) ⇐⇒ α1 a1 + α2 a2 + · · · + αn an .
Nota 9.3.12 El resultado 9.3.11 nos dice que las coordenadas en una base
pueden ser vistas si se quiere como algo intrínseco, pues para cada vector,
las coordenadas son los únicos escalares que permiten escribir dicho vector
como combinación lineal de la base. ⋄
xB ′ = B B ′ xB .
1. B B ′ S B = S B ′
2. B B ′ es inversible y (B B ′ )−1 = B ′ B
9.3.4 Rango
Lema 9.3.17 Sean V un R-espacio vectorial de dimensión finita, B y B ′
dos bases y S un sistema de V. Se tiene que
rg S B = rg S B ′
Demostración:
Es un corolario inmediato de 9.3.16. ⋄
rg S = s ⇐⇒ S es libre.
9.3.5 Subespacios
Lema 9.3.20 Sea V un R-espacio vectorial de dimensión finita. Todo subes-
pacio de V es finito generado. ⋄
rg S = dim G.
(vi) Cada elemento de G se puede expresar de forma única como una com-
binación lineal de S.
Demostración:
⋄
2. dim F ≤ dim V.
3. lB (F + G) = lB (F) + lB (G).
4. lB (F ∩ G) = lB (F) ∩ lB (G).
5. F ⊕ G =⇒ lB (F) ⊕ lB (G).
7. F ⊆ G =⇒ dim F ≤ dim G.
8. Si F ⊆ G entonces
F = G ⇐⇒ dim F = dim G.
T es base de F ⇐⇒ ∃ P inversible / PS B = T B .
⋄
Proposición 9.3.31 Sean n, n′ ∈ N, V un R-espacio vectorial de dimensión
n, V′ un R-espacio vectorial de dimensión n′ , B una base de V, B ′ una base
de V′ y f : V −→ V′ una aplicación lineal. La transformación asociada lf;B,B ′
′
es la única aplicación lineal de Rn en Rn que hace conmutativo el siguiente
diagrama
f
V −→ V′
lB ↓ ↓ lB ′
lf;B,B ′ ′
Rn −→ Rn
es decir,
lf;B,B ′ ◦ lB = lB ′ ◦ f.
⋄
Proposición 9.3.32 Sean n, n′ ∈ N, V un R-espacio vectorial de dimensión
n, V′ un R-espacio vectorial de dimensión n′ , B una base de V, B ′ una base
de V′ y f : V −→ V′ una aplicación lineal. La matriz fBB ′ es la única matriz
n′ × n que verifica que
fB
B ′ xB = f(x)B ′ , ∀ x ∈ V.
⋄
Proposición 9.3.33 [Cambio de base]
Sean n, n′ ∈ N, V un R-espacio vectorial de dimensión n, V′ un R-espacio
vectorial de dimensión n′ , B, S dos bases de V, B ′ , S ′ dos bases de V′ y
f : V −→ V′ una aplicación lineal. Tenemos
fSS ′ = B ′ S ′ fB
B′ S B .
rg f = dim Img f
5. rg f = rg lf;B,B ′ .
6. rg f = rg fB
B′ .
9.3.7 Diagonalización
Definición 9.3.36 Sean V un R-espacio vectorial de dimensión finita y f un
endomorfismo de V. Diremos que f es diagonalizable si existe una base B de
V tal que que fB
B es una matriz diagonal. ⋄
(i) f es diagonalizable.
(iii) fB
B es diagonalizable.
9.4 Ejercicios
Ejercicio 9.1 Sea F el conjunto de todas las funciones de R en R con las
operaciones de suma de funciones y producto de escalar por función habitua-
les. Probar que con esas operaciones, F es un R-espacio vectorial. Determinar
cuáles de los siguientes conjuntos son subespacios de F
1. G1 = {f ∈ F / f (0) = 0}.
2. G2 = {f ∈ F / f (0) = f (1)}.
3. G3 = {f ∈ F / ∃ f ′′ y f ′′ (0) = 0}.
Probar que F = G6 ⊕ G7 .
Ejercicio 9.5 Sea R3 [x] el espacio de los polinomios con coeficientes reales
de grado menor o igual que 3. Probar que
F = {f ∈ S / f (n + 2) + f (n + 1) − 6f (n) = 0, ∀ n ∈ N},
es un subespacio de S.
3. Probar que
h : V −→ R2
,
f 7−→ (f (1), f (2))
es una aplicación lineal sobre pero no inyectiva.
4. Probar que la restricción h|F es un isomorfismo.
5. Hallar una base y la dimensión de F.
6. Para cada α ∈ R se considera el elmento de S
fα : N −→ R
.
n 7−→ αn
Ejercicio 9.7 Sea M el conjunto de las matrices reales 2×2 con su estructura
habitual de R-espacio vectorial. Construimos la aplicación
t: M −→ R
a11 a12
A= 7−→ a11 + a22
a21 a22
4. Probar que si A ∈ M,
Utilizar esta fórmula para obtener una expresión de A−1 cuando det A 6=
0.
0 1
5. Sea B = . Calcular A−1 con la fórmula del apartado anterior.
−1 0
B = [x2 , x, 1]
de R2 [x] y la aplicación
d: R2 [x] −→ R2 [x]
.
p(x) = ax + bx + c 7−→ p′ (x) = 2ax + b
2
5. Sea
B ′ = [x2 + x + 1, x + 1, 1].
′
B′ .
Probar que B ′ es una base de R2 [x] y calcular tB
f1 (x, y, z) = ax + 2bz
f2 (x, y, z) = 5x + 2y
f3 (x, y, z) = bx − 2y + bz,
Para (x, y, z) ∈ R3 .
3. Se considera el subespacio de R3
F = {(x, y, z) ∈ R3 / x = y = 0}.
f : M −→ M
.
A 7−→ tr AIn
f: M −→ M
a b a+b a−c .
7−→
c d 2a −c
6. Estudiar si f es diagonalizable.
5. ¿La aplicación
φ : F −→ F
f 7−→ d(f )
está bien definida? ¿Es diagonalizable?
Ejercicio 9.16
Sea M el espacio de matrices reales 3 × 3. Diremos que una
matriz aij ∈ M es mágica, si existe k ∈ R tal que
Sea el subconjunto de M
F = {A ∈ M / A es mágica y simétrica.}
Sea la matriz
1 1 1
B = 1 1 1 .
1 1 1
f : F −→ F
,
A 7−→ BA
• 1 es valor propio de f y
• 2 es valor propio de f y
• f(1 − 3x − x2 ) = 0.
fab : −→
V V
x1 x2 5x1 ax3 − x2 .
7−→
x2 x3 ax3 − x2 3x1 + bx3
es una base de V.
Métricas
425
426 10.1. Producto escalar y norma
·: Rn × Rn −→ R
((x1 , . . . , xn ), (y1, . . . , yn )) 7−→ x1 y1 + · · · + xn yn
4. rg S = rg fS .
10.1.2 Norma
Definición 10.1.9 Sea (V, f) un espacio euclídeo. Llamaremos norma a la
aplicación
||·|| : V −→ R p
x 7−→ ||x|| := f(x, x)
⋄
1. ||x|| ≥ 0, ∀ x ∈ V.
2. ||x|| = 0 ⇐⇒ x = 0.
10.2 Ortogonalidad
10.2.1 Vectores y sistemas ortogonales
Definición 10.2.1 Sean (V, f) un espacio euclídeo y S un sistema de V.
F⊥ = {x ∈ V / x ⊥ F} = {x ∈ V / f(x, y) = 0, ∀ y ∈ F}.
F⊥⊥ = (F⊥ )⊥ .
1. F⊥ es un subespacio de V.
2. F + F⊥ = F ⊕ F⊥ .
3. F ⊆ F⊥⊥ .
4. F ⊥ G ⇐⇒ F ⊆ G⊥ ⇐⇒ G ⊆ F⊥
x ∈ F⊥ ⇐⇒ x ⊥ S.
F ⊥ G ⇐⇒ S ⊥ G.
F ⊥ G ⇐⇒ S ⊥ T .
Nota 10.3.5 Una de las cosas que quiere decir el lema 10.3.4 es que todo
subespacio que admita una base ortonormal admite proyección ortogonal
para cualquier vector. Veamos ahora que cualquier espacio finito generado
admite una base ortonormal. ⋄
i := 1;
t := 0;
S ′ = [ ];
T = [ ];
while bi = 0 {
i := i + 1;
}
if i ≤ s {
t := t + 1;
at = bi / ||bi ||;
}
if i < s {
S ′ := [bi+1 , . . . , bs ];
}
foreach x ∈ S ′ {
X t
y =x− f(ak , x)ak ;
k=1
if y 6= 0 {
t := t + 1;
at := y/ ||y||;
}
}
if t > 0 {
T := [a1 , a2 , . . . , at ];
}
3. V = F ⊕ F⊥ .
4. F = F⊥⊥ .
Demostración:
⋄
3. V = F ⊕ F⊥ .
4. F = F⊥⊥ .
Demostración:
Es consecuencia inmediata de 10.3.7 ⋄
ha1 , . . . , aj i = hb1 , . . . , bj i , j = 1, . . . , s,
t := 1;
S ′ = [ ];
T = [ ];
a1 = b1 / ||b1 ||;
if s > 1 {
S ′ := [b2 , . . . , bs ];
}
foreach x ∈ S ′ {
X t
y =x− f(ak , x)ak ;
k=1
t := t + 1;
at := y/ ||y||;
}
T := [a1 , a2 , . . . , at ];
⋄
A′ = A b .
A′ = A b .
At A′ = At A At b ,
⋄
Proposición 10.4.3 Sean (V, f) un espacio euclídeo de dimensión finita y
B, B ′ bases de V. Se verifica
t
fB ′ = B ′ B fB B ′ B .
⋄
10.5 Ejercicios
Ejercicio 10.1 Sean a, b ∈ R con a < b y
f : R2 [x] × R2 [x] −→ R
Z 1
(p, q) 7−→ p(t)q(t) dt
−1
Encontrar una base ortonormal del espacio euclídeo (R2 [x], f).
f: R3 × R3 −→ R
2x1 x2 + 9y1 y2 + 5z1 z2 − 4x1 y2 − 4y1x2 + 2x1 z2
((x1 , y1 , z1 ), (x2 , y2, z2 )) 7−→
+2z1 x2 − 5y1z2 − 5z1 y2
f: R3 × R3 −→ R
x1 x2 + y1 y2 + z1 z2 − αx1 y2 − αy1 x2
((x1 , y1 , z1 ), (x2 , y2, z2 )) 7−→
+x1 z2 + z1 x2 − 3y1 z2 − 3z1 y2
y la aplicación
f: R3 × R3 −→ R
x2
((x1 , y1, z1 ), (x2 , y2 , z2 )) 7−→ x1 x2 x3 A y2
z2
g: M× M −→ R
x1 y1 x2 y2
( , ) 7−→ x1 x2 + y1 y2 + z1 z2
z1 t1 z2 t2
2. Sea
x y
F= ∈ M/x + t = 0 .
z t
probar que F es un subespacio de M y que la restricción f = g|F es un
producto escalar sobre F.
g : R4 × R4 −→ R
tal que
g((x1 , y1 , z1 , t1 ), (x2 , y2 , z2 , t2 )) =
0 1 −3 0 x2
1 0 0 −3 y2
= x1 y1 z1 t1 −3
,
0 0 1 z2
0 −3 1 0 t2
el subespacio de R4
F = {(x, y, z, t) ∈ R4 / x + z = y + t = 0}.
y g = f|F .
1. Hallar una base ortonormal del subespacio F = h1, sen t, cos ti.
f : Rn × Rn −→ R
x 7−→ xAx
es un producto escalar.
Calcular lo siguiente
f : R2 [x] × R2 [x] −→ R
(p, q) 7−→ p(−1)q(−1) + p(1)q(1) + p(0)q(0)