Dirac notation expressions as integrals

For example in the abstract Dirac notation the expression
|ɣ> (<α|β>)
can be evaluated as
(|ɣ><α|) |β>
Ω |β>
|ω>
but what can you do with the equivalent integral
g ∫ a* b dq
to combine g and a on the way to a final function w based on b ?

And what does it mean for an operator to operate on a function to the left - if it is simply that
f O = O* f
then O f* is also possible, yet
Ω <φ|
is not permitted in the abstract notation ?

For example in the abstract Dirac notation the expression
|ɣ> (<α|β>)
can be evaluated as
(|ɣ><α|) |β>
Ω |β>
|ω>
but what can you do with the equivalent integral
g ∫ a* b dq
to combine g and a on the way to a final function w based on b ?

Just use different integration variables.

[tex]|g\rangle \langle a | b \rangle = g(x) \int{a^*(y)b(y) dy} = \int{\Big[g(x)a^*(y)\Big] b(y) dy}[/tex]
So you can interpret [itex]\Omega = |g\rangle \langle a |[/itex] as [itex]\Omega(x,y) = g(x)a^*(y)[/itex]. Then, when you apply that operator to a state [itex]|b\rangle[/itex], you get what you would expect:
[tex]|\Omega|b\rangle = \int{\Omega(x,y)b(y)dy} = \int{g(x)a^*(y)b(y) dy}[/tex]

And what does it mean for an operator to operate on a function to the left - if it is simply that
f O = O* f
then O f* is also possible, yet
Ω <φ|
is not permitted in the abstract notation ?

Just like above, the notion of applying an operator to a state in this notation really just means matching up integration variables. It doesn't matter which side the operator is on, since in this notation they're just plain old numbers. So we have:
[tex]\langle \psi | \Omega = \int \psi^*(x)\Omega(x,y) dx = \int \Omega(x,y) \psi^*(x) dx[/tex]
The fact that we put the bra on the left in Dirac notation is just a way of ensuring that things match up properly when we combine bras and kets with operators.

Thanks Chopin - I had not thought about or seen that emphasis on the integration variables.

The rule then seems be that bra-ket has common integration variables, and ket-bra different ones, so <f|g><a|b> becomes f*(x) g(x) a*(y) b(y) whichever way they are grouped.

For the operator, here it was just a simple number, a multiplier, but in general it might be eg a partial differential - can it then still be simply applied either left or right ?

And I notice with |g> above you didn't introduce an ∫dx, but in the final <ψ|Ω you did (and it is by definition just some other bra <ξ|), an inconsistency I see in many places - when does a bra or ket outside a bra-ket imply integration and when not ?

For the operator, here it was just a simple number, a multiplier, but in general it might be eg a partial differential - can it then still be simply applied either left or right ?

In that case, you pretty much have to keep the operator to the left of the quantity, but that's just because our rules for writing down derivatives say that the [itex]\partial[/itex] always applies to the thing to the right of it. This [itex]\Omega(x,y)[/itex] notation for operators doesn't really handle derivatives very well--you can do it, but it involves a bunch of funny Fourier transforms that make it look a lot more complicated than it really is.

And I notice with |g> above you didn't introduce an ∫dx, but in the final <ψ|Ω you did (and it is by definition just some other bra <ξ|), an inconsistency I see in many places - when does a bra or ket outside a bra-ket imply integration and when not ?

Basically, any time you have a [itex]|[/itex] in an expression with something on both sides of it, you will integrate over a common variable (I think Feynman even once said that the great rule of quantum mechanics is simply that [itex]| = \int[/itex]). So [itex]|g\rangle = g(x)[/itex] doesn't have one, because there's nothing to integrate it with, but [itex]\langle \psi|\Omega = \int{\psi^*(x)\Omega(x,y)dx}[/itex] does, because there are two things to multiply together.

Have you taken a course in linear algebra? If so, then this may be familiar to you in other terms. Technically speaking, when we put together a bra and a ket, what we're really doing is taking the inner product of two vectors. In a normal finite-dimensional vector space, taking an inner product can be done by breaking the vectors apart into a common basis, multiplying each component with the other, and adding them all together (i.e. the dot product). Doing an integral is just the continuous equivalent of this, where the basis vectors are just a continuum of position eigenstates, and [itex]g(x)[/itex] just tells us the weight of each one in the vector. Similarly, an operator is technically a rank-2 tensor that we take the product of with other vectors. That's why it has two different integration variables instead of just one.

If you haven't taken linear algebra, that paragraph may not make much sense. But even if you're not familiar with what's technically going on, the key to remember is that any time you're sticking two things together in Dirac notation, you have to do an integration over their product in integral notation. Doing that will kill their common variable, and leave behind any other variables that might have been lying around, which you can then use to hook up with other functions later on.

I would get out of the habit of thinking of [itex]| \psi \rangle \equiv \psi(x)[/itex]. The way I was taught was that only [itex]\langle x | \psi \rangle = \psi(x)[/itex]. This makes what's going on clear: if you have a finite basis, you can always expand in terms of those states by a summation. That is,

I would get out of the habit of thinking of [itex]| \psi \rangle \equiv \psi(x)[/itex]. The way I was taught was that only [itex]\langle x | \psi \rangle = \psi(x)[/itex].

I'd agree as well that this way is better, albeit a bit more verbose--it makes it much more obvious which basis you're working in. Similarly, [itex]\Omega(x,y) = \langle x|\Omega|y\rangle[/itex], which is why [itex]\Omega(x,y)[/itex] are sometimes referred to as the matrix elements of [itex]\Omega[/itex]--you can think of the elements forming a big two-dimensional matrix, just like you can think of a ket as forming a big column vector, and a bra as a big row vector.