Complex Conjugate: just replace i by -i even in denominator or inside argument?

In summary, to get the complex conjugate of a complex number, you can replace every instance of i with -i. However, this is only true for expressions involving addition and multiplication. If you want to know when the conjugate of an expression is equal to the original expression, that is a separate question.
  • #1
aimforclarity
33
0
to get a Complex Conjugate of a #, is it ok to just replace i by -i even in denominator or inside argument?
 
Mathematics news on Phys.org
  • #2
aimforclarity said:
to get a Complex Conjugate of a #, is it ok to just replace i by -i even in denominator or inside argument?
If your complex number is a + ib, then its complex conjugate is a - ib.

However, you can't just go in an replace the coefficient of i willy-nilly. So for example, if you have 2/(1 + 3i), you can't just rewrite this as 2/(1 - 3i), as the two expressions aren't equal.

What you can do, though, and you can always do this, is multiply by 1, in whatever form is convenient.

So 2/(1 + 3i) = 2/(1 + 3i) * (1 - 3i)/(1 - 3i) = (2 - 6i)/(1 + 9) = (2 - 6i)/10 = (1 - 3i)/5 or 1/5 - (3/5)i.
 
  • #3
Mark44 said:
If your complex number is a + ib, then its complex conjugate is a - ib.

However, you can't just go in an replace the coefficient of i willy-nilly. So for example, if you have 2/(1 + 3i), you can't just rewrite this as 2/(1 - 3i), as the two expressions aren't equal.

What you can do, though, and you can always do this, is multiply by 1, in whatever form is convenient.

So 2/(1 + 3i) = 2/(1 + 3i) * (1 - 3i)/(1 - 3i) = (2 - 6i)/(1 + 9) = (2 - 6i)/10 = (1 - 3i)/5 or 1/5 - (3/5)i.

I always thought you could just replace all i with -i in any case. Can you give me an example where that is not true?
 
  • #4
1 + 3i [itex]\neq[/itex] 1 - 3i

In general, a complex number is not equal to its conjugate.

If you're asking how to get the complex conjugate, then yes, all you need to do is to replace the coefficient of i by its opposite. My point was that you get a different number.
 
  • #5
Why was that necessary? The original post just asked about getting the complex conjugate. I presume that the OP knows that only for real numbers is the complex conjugate the same as the number itself. That was never in question.
 
  • #6
aimforclarity said:
to get a Complex Conjugate of a #, is it ok to just replace i by -i even in denominator or inside argument?

If [itex]\phi(z)[/itex], for z complex, is holomorphic and is real for [itex]z = x \in \mathbb{R}[/itex], then [itex](\phi(z))^\ast = \phi(z^\ast)[/itex]. (Wikipedia).
 
  • #7
HallsofIvy said:
Why was that necessary?
It probably wasn't. I misunderstood what the OP was asking.
HallsofIvy said:
The original post just asked about getting the complex conjugate. I presume that the OP knows that only for real numbers is the complex conjugate the same as the number itself. That was never in question.
 
  • #8
Mute said:
If [itex]\phi(z)[/itex], for z complex, is holomorphic and is real for [itex]z = x \in \mathbb{R}[/itex], then [itex](\phi(z))^\ast = \phi(z^\ast)[/itex]. (Wikipedia).

this is basically the answer to my question, but i do need to unravel its meaning:

1. holomorphic - basically well behaved, has derivatives.

2. phi(z) is real for z in reals, this is a hard condition, because often the form of the expression is not such, but i have found that the trick with i -> -i still works, as in the lorentzian:

[itex]\frac{i \tau }{\sqrt{2 \pi } (i+\tau \omega )}[/itex]

when i replace i with -i and multiply the two together i think i get the right magnitude. tell me if i am wrong, or when this would not work

[itex]\frac{\tau ^2}{2 \pi +2 \pi \tau ^2 \omega ^2} [/itex]


3. is the dirac function holomorhpic? eg. how would i find the abs value of:
[itex]\sqrt{2 \pi } \text{DiracDelta}\left[\frac{i}{\tau }+\omega \right][/itex]

sorry for all the questions, thanks :)
 
  • #9
aimforclarity said:
this is basically the answer to my question, but i do need to unravel its meaning:

Are you looking to see when the conjugate is equal to the original expression? Or just that you can replace i with -i to get the conjugate?

If the latter, that works in any expression whatsoever, as long as only addition and multiplication are involved (and subtraction and division of course). That's because conjugation is an automorphism of the complex numbers: it preserves addition and multiplication. So if you have a/b for complex a and b, then (a/b)* = a*/b* where '*' is the complex conjugate. And since complex conjugation fixes the reals (that is, a = a* for all real a) you can just replace i with -i and vice versa to compute the conjugate of any expression involving only addition and multiplication.

Asking when the conjugate of an expression is equal to the original expression is a separate question, which seems to be confusing this thread. Which question are you asking?
 
  • #10
SteveL27 said:
Are you looking to see when the conjugate is equal to the original expression? Or just that you can replace i with -i to get the conjugate?

If the latter, that works in any expression whatsoever, as long as only addition and multiplication are involved (and subtraction and division of course). That's because conjugation is an automorphism of the complex numbers: it preserves addition and multiplication. So if you have a/b for complex a and b, then (a/b)* = a*/b* where '*' is the complex conjugate. And since complex conjugation fixes the reals (that is, a = a* for all real a) you can just replace i with -i and vice versa to compute the conjugate of any expression involving only addition and multiplication.

Asking when the conjugate of an expression is equal to the original expression is a separate question, which seems to be confusing this thread. Which question are you asking?
see my post right above yours, i know that the complex conjugate is only equal to the complex # itself when the number is real,

i am asking how to get the complex conjugate
 
  • #11
Well, if you have something simple, like

[tex]\frac{2 + 3 i}{3 - 4 i}[/tex]

Then the complex conjugate will simply replace every instance of i in the equation with -i. This property also holds true when you add many other functions to the mix, like exponentiation to a real number, and I believe the sine, cosine, and exponentiation function as well. It won't always work, though. For example, I believe it fails in the case of the log function, that is, the complex conjugate of log(3+4i) isn't necessarily log(3-4i).

EDIT: I stand corrected, it works for the log function as well, at least up to branch cuts!
 
  • #12
Char. Limit said:
Well, if you have something simple, like

[tex]\frac{2 + 3 i}{3 - 4 i}[/tex]

Then the complex conjugate will simply replace every instance of i in the equation with -i. This property also holds true when you add many other functions to the mix, like exponentiation to a real number, and I believe the sine, cosine, and exponentiation function as well. It won't always work, though. For example, I believe it fails in the case of the log function, that is, the complex conjugate of log(3+4i) isn't necessarily log(3-4i).

EDIT: I stand corrected, it works for the log function as well, at least up to branch cuts!

this is very good, that is what i was asking! Thank you,

so it works almost all the time. do you know when, in what cases i should be careful when using it?
ie anytime i don't use fractions and logs, and exponetnials and trig funcs?
 
  • #13
so i think it works for any function with a taylor expansion (~analytic), because conjugation carries through addition and multiplication and so through powers and thus exponents

1. (z1 +z2)* = z1*+z2*
2. (z1 z2)* = z1* z2*
3. (z1^n)* = z1*^n
4. [itex]\left(\frac{1}{\text{z1}}\right)^* = \left(\frac{1}{a+i b}\frac{a-i b}{a-i b}\right)*
\frac{a+i b}{a^2+ b^2}=\frac{a+i b}{a^2+ b^2}\frac{a-i b}{a-i b}
=\frac{a^2+b^2}{\left(a^2+ b^2\right)(a-i b)}=\frac{1}{a-i b}=\frac{1}{\text{z1}^*}
[/itex]
5. any negative integer power we can derive from 3 & 4.

Conclusion:
the complex conjugate of any product or sum of polynomials of complex numbers z1..zn is the same polynomials but of z1*...zn*
 

1. What is a complex conjugate?

A complex conjugate is a pair of complex numbers that have the same real part but opposite imaginary parts. For example, the complex conjugate of 3+2i is 3-2i.

2. Why is it important to replace i with -i in a complex conjugate?

Replacing i with -i in a complex conjugate allows us to simplify equations and perform operations more easily. It also helps us find the roots of complex numbers.

3. Can we replace i with -i in the denominator of a complex conjugate?

Yes, we can replace i with -i in the denominator of a complex conjugate. This is because the complex conjugate of a fraction is the fraction with the numerator and denominator both having the same complex conjugate.

4. Is it necessary to replace i with -i inside the argument of a complex conjugate?

No, it is not necessary to replace i with -i inside the argument of a complex conjugate. The complex conjugate only affects the imaginary part of a complex number, so if the argument does not contain i, it does not need to be replaced.

5. How can we use complex conjugates in solving equations?

Complex conjugates can be used in solving equations by simplifying them or by finding the roots of complex numbers. They can also help us convert complex numbers to polar form, which is useful in solving equations involving trigonometric functions.

Similar threads

Replies
20
Views
2K
Replies
5
Views
700
Replies
5
Views
1K
  • Advanced Physics Homework Help
Replies
2
Views
910
  • General Math
Replies
1
Views
1K
Replies
1
Views
1K
Replies
7
Views
625
Replies
1
Views
5K
  • General Math
Replies
7
Views
1K
  • Quantum Physics
Replies
14
Views
2K
Back
Top