Does the product rule fn->f , gn->g imply fngn->fg in (C[0,1],||.||)?

Click For Summary

Homework Help Overview

The discussion revolves around the product rule in the context of normed vector spaces, specifically examining whether the convergence of sequences of functions \( f_n \) to \( f \) and \( g_n \) to \( g \) implies the convergence of the product \( f_n g_n \) to \( fg \) in the spaces \( (C[0,1], ||.||_{\infty}) \) and \( (C[0,1], ||.||_1) \). Participants are tasked with providing proofs or counterexamples based on the norms defined in these spaces.

Discussion Character

  • Exploratory, Assumption checking, Conceptual clarification

Approaches and Questions Raised

  • The original poster attempts to analyze the product rule by considering specific norms and convergence properties, raising questions about the validity of their reasoning.
  • Some participants question the application of the product rule for real numbers to the context of functions, seeking clarification on where the proof may fail in normed vector spaces.
  • There is a suggestion to examine the definitions of the norms involved, particularly how they differ from the usual norm on functions.

Discussion Status

The discussion is ongoing, with participants exploring various aspects of the problem. Some have provided initial reasoning and attempts at proof, while others are questioning the assumptions and definitions being used. There is no explicit consensus yet, but the dialogue is productive in examining the nuances of the problem.

Contextual Notes

Participants note that the norms in question are defined as \( ||f_n||_1 \) being the sum of \( |f_n| \) and \( ||f_n||_{\infty} \) being the maximum of \( |f_n| \). There is an acknowledgment of the need to consider these definitions carefully in the context of the product rule.

cummings12332
Messages
38
Reaction score
0

Homework Statement


the product rule fn->f , gn->g implies fngn->fg true in the normed
vector space (C[0,1],||.||) depends on the the norm||.||. Give a proof or a
counterexample for (C[0,1],||.||infinite),(C[0,1].||.||1)

Homework Equations


counterexample , you may wish to examine the case f=g=0 and choose fn=gn for
some piecewise linear functions.

The Attempt at a Solution


what i did for (||.|| infinite) is that ||fn||->||f||, ||gn||->||g|| ,then (||fn||-||f||)*(||gn||-||g||)->0 ,||g||(||fn||-||f||)->0,||f||(||gn||-||g||)->0
then get (||fn||-||f||)*(||gn||-||g||)+||g||(||fn||-||f||)+||f||(||gn||-||g||)=||fn||*||gn||-||f||*||g||->0
therefore ||fn||*||gn||->||f||*||g||
for it is infinite so we get ||fn|||*||gn||=max|fn|*max|gn|=max|fn||gn=max|fngn|=||fngn|| and ||f||*||g||=||fg|| ( by definition of norm) so ||fn*gn||->||fg||
i don't know it is right or wrong

and by the (C[0,1],||.||1) i have no idea to get the counterexample
 
Last edited:
Physics news on Phys.org
How would you prove the "product rule" for convergent sequences of real numbers? i.e how do you prove, given a_n\rightarrow a\in\mathbb{R} and b_n\rightarrow b\in\mathbb{R}, that a_nb_n\rightarrow ab? Notice that |\cdot| is a norm on the real vector space \mathbb{R}.

What part of that proof (if any) goes wrong if you try to apply it to the normed vector spaces that you're working with?
 
gopher_p said:
How would you prove the "product rule" for convergent sequences of real numbers? i.e how do you prove, given a_n\rightarrow a\in\mathbb{R} and b_n\rightarrow b\in\mathbb{R}, that a_nb_n\rightarrow ab? Notice that |\cdot| is a norm on the real vector space \mathbb{R}.

What part of that proof (if any) goes wrong if you try to apply it to the normed vector spaces that you're working with?

i proved the product rule by an->a bn->b then (an-a)(bn-b)->0 and a(bn-b)->0 b(an-a)->0 i.e. (an-a)(bn-b)+a(bn-b)+b(an-a)=anbn-ab->0 . should i prove that ||fn||*||gn||->||f||*||g|| instead of ||fngn||->||fg||? but if it is , i don't know what is the differences for the case for index infinite and index 1?
 
I don't see anywhere that you are using the difference between those norms and the usual norm on functions.

What is the precise definition of those norms?
 
HallsofIvy said:
I don't see anywhere that you are using the difference between those norms and the usual norm on functions.

What is the precise definition of those norms?

for ||fn||1 that is the sum of |fn| , for ||fn||infinte that is the max of |fn|
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K