MHB Need some hints on my HW about Linear functionals

BaconInDistress
Messages
2
Reaction score
0
I not very good at using the LaTex editor, so I took a photo of my HW questions.
View attachment 8831
For the first question, I'm not really sure how to get started, should I write out a specific case? Like what would $$\varphi (P)$$ be when m=1?

For the second question, I know that a linear functional have two properties, one being $$\varphi(u +v) = \varphi(u) + \varphi(v)$$ and the other one being $$\varphi(\lambda u) = \lambda\varphi(u)$$. I'm a bit confused about the mapping, is it saying that when we have a polynomial P(z), the map makes it goes to p(0) for all z?
 

Attachments

  • Linear_functionals.jpg
    Linear_functionals.jpg
    55.4 KB · Views: 117
Last edited by a moderator:
Physics news on Phys.org
Perhaps you should start by defining notations, including $\mathbb{F}$, $P_m(\mathbb{F})$ and $p^{(k)}(x)$. Also, it is not very clear which of $p$'s are uppercase and which are lowercase letters. For example, in problem 1 in the left-hand side $\varphi(P)$ the letter $P$ seems to be uppercase, but in the right-hand side it is probably lowercase.
 
According to the textbook we use, $$F$$ is a field over $$\Bbb{R}$$ or $$\Bbb{C}$$. $${P}_{m}(F)$$ is the polynomial space of degree m.
One of the many problem with my homework is indeed the handwriting, my professor is not very consistent with his upper and lower case letters. I just copied down what he wrote.
I think for question one, we need to prove the existence of constants $${a}_{0},...,{a}_{m}$$ such that the linear functional $$\varphi (P) = {a}_{0}p(0) + \sum_{k=1}^{m} {p}^{(k)}(0)$$
Not really sure how to go from there
 
BaconInDistress said:
According to the textbook we use, $$F$$ is a field over $$\Bbb{R}$$ or $$\Bbb{C}$$.
"A field over $\mathbb{R}$" sounds strange. There are vector spaces and algebras over fields. Perhaps $\mathbb{F}$ is simply a field.

BaconInDistress said:
I think for question one, we need to prove the existence of constants $${a}_{0},...,{a}_{m}$$ such that the linear functional $$\varphi (P) = {a}_{0}p(0) + \sum_{k=1}^{m} {p}^{(k)}(0)$$
Not really sure how to go from there
I think $p$ should be lowercase in the left-hand side as well.

Every functional on $\mathbb{F}^m$ has the form $\varphi((b_0,\ldots,b_m))=a_0b_0+\dots a_mb_m$ for some constants $a_0,\ldots,a_m$. Now suppose $p(t)=b_0+b_1x+\dots b_mx^m$. What are $p(0), p'(0), \ldots, p^{(m)}(0)$?

I'm a bit confused about the mapping, is it saying that when we have a polynomial P(z), the map makes it goes to p(0) for all z?
Yes, I believe the function maps a polynomial $p(z)$ to $(p(0))^2$. The question is whether it is a linear functional.

In problem 3, what is the third derivative of a polynomial whose degree is at most 2?

For problem 4, extend $v$ to a basis of the space $V$.
 
Thread 'Determine whether ##125## is a unit in ##\mathbb{Z_471}##'
This is the question, I understand the concept, in ##\mathbb{Z_n}## an element is a is a unit if and only if gcd( a,n) =1. My understanding of backwards substitution, ... i have using Euclidean algorithm, ##471 = 3⋅121 + 108## ##121 = 1⋅108 + 13## ##108 =8⋅13+4## ##13=3⋅4+1## ##4=4⋅1+0## using back-substitution, ##1=13-3⋅4## ##=(121-1⋅108)-3(108-8⋅13)## ... ##= 121-(471-3⋅121)-3⋅471+9⋅121+24⋅121-24(471-3⋅121## ##=121-471+3⋅121-3⋅471+9⋅121+24⋅121-24⋅471+72⋅121##...
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...

Similar threads

Back
Top