Is V a Vector Space over the Field of Real Numbers?

Click For Summary

Homework Help Overview

The problem involves determining whether a set of complex-valued functions defined on the real line, subject to specific operations, forms a vector space over the field of real numbers. The functions must satisfy a condition involving complex conjugation.

Discussion Character

  • Conceptual clarification, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • Participants discuss the definition of complex conjugation and its implications for the functions involved. There is an exploration of how to demonstrate the properties of a vector space, including vector addition and scalar multiplication.

Discussion Status

Some participants have provided insights into the nature of complex conjugation and its relation to the functions. There is ongoing exploration of how to verify the vector space properties, with specific attention to ensuring that the sum of two functions remains within the defined set.

Contextual Notes

Participants express uncertainty about the requirements for demonstrating vector space properties and the implications of the condition f(-t) = \overline{f(t)}. There is mention of potential challenges in articulating the proof structure.

gotmilk04
Messages
44
Reaction score
0

Homework Statement


Let V be the set of all complex-valued functions, f, on the real line such that
f(-t)= f(t) with a bar over it, which denotes complex conjugation.
Show that V, with the operations
(f+g)(t)= f(t)+g(t)
(cf)(t)=cf(t)
is a vector space over the field of real numbers.

Homework Equations





The Attempt at a Solution


I don't know what complex conjugation means, so I have no idea where to start with this.
 
Physics news on Phys.org
Let [itex]x,y=\in\mathbb{R}[/itex]. Then [itex]z=x+iy\in\mathbb{C}[/itex]. The complex conjugate of [itex]z[/itex] is [itex]\overline{z}=x-iy[/itex].

So you have a function [itex]f:\mathbb{R}\rightarrow\mathbb{C}[/itex] such that [itex]f(-t)=\overline{f(t)}[/itex]. You can rewrite [itex]f(t)[/itex] as [itex]f(t)=u(t)+iv(t)[/itex], where [itex]u,v[/itex] are real valued functions of a real variable [itex]t[/itex].

Chew on that and see if you don't know how to start.
 
I'm still not sure what to do. I have to show all the properties of a vector space, right?
But I'm not sure how to write it out and everything.
Like, for vector addition, do I add another fuction g(t)=x(t)+iy(t) where x,y are real valued and then add f(t)+g(t) and show it equals g(t)+f(t)?
 
Yes, you have to show that all the properties of a vector space hold. That f(t)+g(t)=g(t)+f(t) is obvious because the functions are complex valued. The real heart of the matter (as far as vector addition goes) is showing that f(t)+g(t) is even IN the vector space. That is, you have to show that (f+g)(-t)=(f+g)(t)-bar (sorry, Latex isn't working).
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
Replies
9
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
Replies
15
Views
3K
  • · Replies 18 ·
Replies
18
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K