K[T denotes te ring of polynomials over a field K and K ((x) denotes the ring of formal power series (that is, ieN Cwhere c E K, no convergence is required for the series, and multiplication is performed just like polynomials) (a) Show that, as vector spaces, Kz] is isomorphic to K0N9) and K (x') is isomorphic to KN |(b) Explain why the set {r i E N} is a basis for Kr] but not a basis for K ((r), both as vector spaces over K (c) Let W be an arbitrary vector space over K. Show that, for every function 7: N K there is a unique linear map f: K [a] -> W so that f(x') = T(i) for all i E N.

Advanced Engineering Mathematics
10th Edition
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Erwin Kreyszig
Chapter2: Second-order Linear Odes
Section: Chapter Questions
Problem 1RQ
icon
Related questions
icon
Concept explainers
Question

Please, help me with a very detailed and self-explanatory solution to this problem. I will appreciate it alot. Thank you

K[T denotes te ring of polynomials over a field K and K ((x) denotes the ring of formal
power series (that is, ieN Cwhere c E K, no convergence is required for the series, and
multiplication is performed just like polynomials)
(a) Show that, as vector spaces, Kz] is isomorphic to K0N9) and K (x') is isomorphic to KN
|(b) Explain why the set {r i E N} is a basis for Kr] but not a basis for K ((r), both as
vector spaces over K
(c) Let W be an arbitrary vector space over K. Show that, for every function 7: N K
there is a unique linear map f: K [a] -> W so that f(x') = T(i) for all i E N.
Transcribed Image Text:K[T denotes te ring of polynomials over a field K and K ((x) denotes the ring of formal power series (that is, ieN Cwhere c E K, no convergence is required for the series, and multiplication is performed just like polynomials) (a) Show that, as vector spaces, Kz] is isomorphic to K0N9) and K (x') is isomorphic to KN |(b) Explain why the set {r i E N} is a basis for Kr] but not a basis for K ((r), both as vector spaces over K (c) Let W be an arbitrary vector space over K. Show that, for every function 7: N K there is a unique linear map f: K [a] -> W so that f(x') = T(i) for all i E N.
Expert Solution
Step 1

Problem concerns the ring and vector space structure of the space of formal power series over K, K a field

Step 2

(a) Here K[x] is the ring of polynomials over K ; note that any polynomial consisists only finitely many terms . Thus , as a vector space ,K[x] is isomorphic to the space of sequences over K which are eventually 0, (as described in the last two lines

(a)K[x] has basis 1,x, x ,...x",
Every f(x)e K[x] has finite deg ree,
so it is a finite linear combination of
Hence.K[x]is isomorphic to K).
K () The set of all sequences
{(a,):m, with a,
0
Step 3

(a) in contrast, K<<x>> is the ring of formal power series , here an element of K<<x>> can have infinitely many non-zero coefficients. So, as a vector space K<<x>> is isomorphic to the space of ALL sequences over K, with no restrictions (unlike in the case of the ring K[x]

(a)Now, K << x» consists of all
linear combinationsax",with
no conditions on a 's
71
For example,
x"eK <<x>»
but not to K[x], as it does not have finite deg ree
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 6 steps with 3 images

Blurred answer
Knowledge Booster
Correlation, Regression, and Association
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, advanced-math and related others by exploring similar questions and additional content below.
Similar questions
  • SEE MORE QUESTIONS
Recommended textbooks for you
Advanced Engineering Mathematics
Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated
Numerical Methods for Engineers
Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education
Introductory Mathematics for Engineering Applicat…
Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY
Mathematics For Machine Technology
Mathematics For Machine Technology
Advanced Math
ISBN:
9781337798310
Author:
Peterson, John.
Publisher:
Cengage Learning,
Basic Technical Mathematics
Basic Technical Mathematics
Advanced Math
ISBN:
9780134437705
Author:
Washington
Publisher:
PEARSON
Topology
Topology
Advanced Math
ISBN:
9780134689517
Author:
Munkres, James R.
Publisher:
Pearson,