Preinforme 1 Lab MAT023 S2 CC

Valores de ,,
In[19]:=

:= 4
:= 4
:= 7

Ejercicio 1.
1. Sean v y w dos espacios vectoriales tales que:
V = M2 x3 (), W = p[x]
p = 1 + + mn[, , ]
Se define la relacin:
T: V W
definida como:
A=

a b c
d e f

V T(A) =(a + b)x p + (a + d)xp-1+(a + b + c)x2+(e + a)x + (e + f)

a. Verifique que T es una transformacion lineal.

b. Calcule el kernel de T y una base para el mismo.
c. Calcule la imagen de T y una base para la misma.

Solucin:
In[206]:=

p := 1 + + Min[, , ]

In[207]:=

Tx_,

a_ b_ c_
:= (a + b) xp + (a + d) xp-1 + (a + b + c) x2 + (e + a) x + (e + f)
d_ e_ f_

Printed by Wolfram Mathematica Student Edition

preinforme1.nb

a) Debemos comprobar las condiciones para que una aplicacin sea transformacin
lineal.
para ello debemos verificar que:
1 T[0] = 0v
2 T[a + b] = T[a] + T[b]
3 T[ b] = T[b]
Verificando 1.
Tx,

0 0 0

0 0 0

Dado lo anterior, se cumple que T[0] = 0.

Verificamos 2 y 3.
Aplicamos T[ A + g*S] , con A y S matrices, g una constante.
a b c
d e f
a b c
S := 1 1 1
d1 e1 f1
A :=

In[223]:=
Out[223]=

T[x, (A + g (S))]
e + f + x9 (a + b + g a1 + g b1 ) + x2 (a + b + c + g a1 + g b1 + g c1 ) +
x8 (a + d + g a1 + g d1 ) + g e1 + x (a + e + g a1 + g e1 ) + g f1

Ordenando el resultado de la aplicacin nos queda como.

e + f + x9 (a + b) + (a + e) + x2 (a + b + c) + x8 (a + d) (** es esquivalente a T[x,A]**)
x9 (g a1 + g b1 ) + x2 (g a1 + g b1 + g c1 ) + x8 (g a1 + g d1 ) +
x (g a1 + g e1 ) + g f1 + g e1 (** es equivalente a T[x,g S] **)
(** Factoriza por g **)
FactorTerms
x9 (g a1 + g b1 ) + x2 (g a1 + g b1 + g c1 ) + x8 (g a1 + g d1 ) + x (g a1 + g e1 ) + g f1 + g e1 , g
g x a1 + x2 a1 + x8 a1 + x9 a1 + x2 b1 + x9 b1 + x2 c1 + x8 d1 + e1 + x e1 + f1
(** es equivalente a g T[x,S] **)

Printed by Wolfram Mathematica Student Edition

preinforme1.nb

Note en efecto que:

T[x, (A + g (S))] - ( T[x, A] + g T[x, S]) // FullSimplify
0

Por lo que T[x,(A + g(S))] = T[A] + g T[S] , en consecuencia por 1, 2 y 3 T es

transformacin lineal.
b) Para calcular el kernel debemos resolver el siguiente sistema de escuaciones.
In[225]:=

Out[225]=

T[x, A] 0
Solve[{e + f 0, a + b 0, a + e 0, a + b + c 0 , a + d 0}, {b, c, d, e, f}]
e + f + (a + e) x + (a + b + c) x2 + (a + d) x8 + (a + b) x9
0 {{b - a, c 0, d - a, e - a, f a}}

Por lo que el kernel sera :

1 -1 0
(Cuando x 0)
-1 1 1

c) Para calcular la imagen de T haremos T[x.I], donde I es la base cannica de

M2 x3 ().

In[208]:=

Out[208]=

1
0
0
Tx,
1

Tx,

0
0
0
0

0
0 1 0
, Tx,
, Tx,
0
0 0 0
0
0 0 0
, Tx,
, Tx,
0
0 1 0

0
0
0
0

0
0
0
0

1
,
0
0

x + x2 + x8 + x9 , x2 + x9 , x2 , x8 , 1 + x, 1
(**

Note que x+x2 +x8 +x9 son LD con el resto de componentes **)

Por lo que la base de la Img T ser

x2 + x9 , x2 , x8 , 1 + x, 1.

Printed by Wolfram Mathematica Student Edition

preinforme1.nb

Ejercicio 2.
Sea f : R2 R2 la funcion definida por:
f(x, y) = (2x, y + 1)
Considere los conjuntos:
A = [0, ] [0, ]
B = (x, y) R x 2+ y 2
Calcule y represente geomtricamente f(A), f(B), (f )-1(A), f -1(B).
Solucin:
In[22]:=

F[x_, y_] := {2 x, y + 1}

In[23]:=

x
Finv[x_, y_] := , y - 1
2

In[64]:=

Needs["Combinatorica`"]
A := CartesianProduct[Range[0, ], Range[0, ]] (**Conjunto A **)
ListPlot[{Apply[F, A, {1} ], Apply[Finv, A, {1} ], A},
Filling Axis, PlotLegends {"F[A]", "Finv[A]", "A"}]
5

3
Out[71]=

F[A]
Finv[A]

-1

Printed by Wolfram Mathematica Student Edition

preinforme1.nb

In[74]:=

x 2
RegionPlot(2 x)2 + (y + 1)2 , + (y - 1)2 , (x)2 + (y)2 ,
2
{x, - , }, {y, - , }, PlotLegends {"F[B]", "Finv[B]", "B"}

F[B]
Out[74]=

Finv[B]
B

-2

-4

-6

-6

-4

-2

Ejercicio 3.
Estudie la continuidad en el origen de las funciones:
x3 y

(1)

f(x,y) = x

(2)

In[80]:=

Clear[f, g]

In[91]:=

f[x_, y_] :=

g(x,y) =

+x4 y6 +y2

, (x, y) (0, 0)
, (x, y) = (0, 0)

y2
(x - ) (x + y - )

, x x+y
,
en otro caso

x3 y
x6 + x4 y6 + y2

Printed by Wolfram Mathematica Student Edition

preinforme1.nb

1) Como f es una funcin compuesta de polinomios, podemos asegurar que es continua

en todo R 2 - {0,0}, por algebra de funciones continuas, Por lo que el problema de continuidad
debe resolverse para los puntos de indefinicin, en este caso (0,0). Para esto utilizaremos
el mtodo de limite por coordenadas polares.
In[93]:=

X[r_, _] := r Cos[]
Y[r_, _] := r Sin[]

In[98]:=

Limit[f[X[r, ], Y[r, ]], r 0]

Out[98]=

Como el lmite existe y es 0, y adicionalmente se defini f[0,0] = 0, la funcin f es continua.

2) Como g es una funcin compuesta de polinomios, podemos asegurar que es continua
en todo R 2 - {x = x + y - = 0}, por algebra de funciones continuas, Por lo que el problema
de continuidad debe resolverse para los puntos de indefinicin, en este caso x= x + y - = 0.
Para esto utilizaremos el mtodo de lmite por coordenadas polares.

y2

In[125]:=

g[x_, y_] :=

In[114]:=

Plot3D[{x + y - , g[x, y]}, {x, - 30, 30}, {y, - 20, 20}]

(** Graficamos para observar el panorama general**)

(x - ) (- + x + y)

Out[114]=

Notamos que X = X + Y - = 0 se traduce en el punto ( , - ). Realizamos el corrimiento

apropiado a la funcin para poder utilizar coordenadas polares obtenemos que.
In[133]:=
Out[133]=

Limit[g[ + X[r, ], Y[r, ] - + ], r 0]

- Sec[]

Como el lmite se indefine y depende adems de se de termina que no existe y que por lo tanto
g no es contnua.

Printed by Wolfram Mathematica Student Edition

preinforme1.nb

Ejercicio 4.

(3)

f(x, y) =

(x - )3 - (y - )3
x-y

, x y + +
x + y - + , x = y ++

a. Estudie la continuidad de f en los puntos de la recta x = y + + .

b. Calcule las derivadas parciales de f en el punto (, ). Es f diferenciable en
este punto?
a) Para determinar la continuidad debemos determinar el lmite en el punto
conflictivo en este caso x = y + + , pues para que una funcin sea contnua
F[a] = limx a f[x]
In[145]:=

Clear[f]

In[146]:=

f[x_, y_] :=

In[203]:=

f[x, y] // FullSimplify

Out[203]=

In[199]:=
Out[199]=

In[198]:=

Out[198]=

(x - )3 - (y - )3
x-y

48 + x2 + x (- 12 + y) + (- 12 + y) y
Limit48 + x2 + x (- 12 + y) + (- 12 + y) y, x y + +
16 + 3 y2
Solve16 + 3 y2 == y + + + y - + , y
y

1
3

1 -

23 , y

1
3

1 +

23

Como al evaluar el lmite de la funcin nos retorn una funcin, est debe ser igual a la de F[y
++, y], como no son iguales, se plante un sistema para detectar continuidad a trozos, en su
lugar encontramos que el sistema solo tiene soluciones imaginarias, por lo que la funcin no es
contnua.

Printed by Wolfram Mathematica Student Edition

preinforme1.nb

b) Para calcular las derivadas parciales se debe simplemente calcular el limite que
sigue.

In[201]:=

Limit

f[, + k] - f[, ]
k

Power::infy : Infinite expression

1
0

, k 0

encountered.

Infinity::indet : Indeterminate expression 0 ComplexInfinity encountered.

Out[201]=

In[202]:=

Indeterminate
Limit

f[ + h, ] - f[, ]
h

Power::infy : Infinite expression

1
0

, h 0

encountered.

Infinity::indet : Indeterminate expression 0 ComplexInfinity encountered.

Out[202]=

Indeterminate

Como no existen derivadas parciales en (, ) se concluye que no es diferenciable.

Printed by Wolfram Mathematica Student Edition