FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups 
 ProfileProfile   PreferencesPreferences   Log in to check your private messagesLog in to check your private messages   Log inLog in 
Forum index » Science and Technology » Math » Probability
weak * topology
Post new topic   Reply to topic Page 1 of 1 [2 Posts] View previous topic :: View next topic
Author Message
Janusz Kawczak
science forum beginner


Joined: 18 Feb 2006
Posts: 10

PostPosted: Thu May 11, 2006 5:11 am    Post subject: Re: weak * topology Reply with quote

It would be much easier to understand what you are trying to say by
citing/giving link to the original paper. Why a_n are bounded? You mean,
"in probability/a.s." or what sense? And, many other questions.
In summary, I believe this is a trivial fact but need to see the setup
for the statement.

Janusz.


Scott Mcclintock wrote:
Quote:
Im working through 'No-Arbitrage and Equivalent Martingale Measures: An
Elementary proof of The Harrison-Pliska Theorem', by Kabanov and Kramkov and
having a difficult time with one of their results/statements. It involves
weak * topologies which I readily admit are well beyond the frontiers of my
knowledge. Ive taken a fair bit of graduate analysis/probability but havent
formally taken any functional analysis or topology.

Unfortunately there's a bit of notation.

Let E consist of all e, elements of R^n, s.t e=(+/-1,....,+/-1). There are
2^n such elements. For a fixed e in E consider A_e as the set of all points
in R^n
(x1,....,xn) s.t. xi>=0 if ei=1 and xi < 0 if ei = -1. These A_e, then,
form a disjoint partition of R^n.

Consider a sequence of measurable functions(random variables) that map from
some space, omega, to R^n, that are measurable wrt some sigma-algebra G.
Call these functions a_n(Note Im suppressing the additional subscript of e,
but they depend on e as well). Each particular a_n takes values in (A_e
intersect the unit sphere) union zero. Basically they take values on the
unit sphere restricted to A_e with the possibility of being 0.

The paper then reads, "The sequences a_n are bounded and hence are compact
in the topology sigma(Linfinity, L_1). Taking a subsequence we can consider
that every a_n converges in sigma(Linfinity,L_1) to a G measurable random
variable a which takes values in A_e union {0} (by the property of weak
convergence to preserve positivity)."

Ive become familar enough with the weak * topology and the Banach Alagolu
Thm(Mispelled, I imagine) to be happy with the convergence of the a_n to a
in the weak * topology. What Im not sure, however, is how you can say or
see what values the function a takes. The paper doesnt actually need the
preservation of positivity. So it would be fine if the function took values
in Closure(A_e) union {0}. But Im not sure how to see that it takes values
(exclusively) there either. It certainly makes intuitive sense but Im not
sure how to 'prove' it. Any ideas, suggestions, results would be
appreciated. (Watered down as much as possible and perhaps with some kind
of citation so I could look it up).

Thanks so much for your time,
--Scott

Back to top
Scott Mcclintock
science forum beginner


Joined: 25 Oct 2005
Posts: 3

PostPosted: Fri May 05, 2006 8:55 pm    Post subject: weak * topology Reply with quote

Im working through 'No-Arbitrage and Equivalent Martingale Measures: An
Elementary proof of The Harrison-Pliska Theorem', by Kabanov and Kramkov and
having a difficult time with one of their results/statements. It involves
weak * topologies which I readily admit are well beyond the frontiers of my
knowledge. Ive taken a fair bit of graduate analysis/probability but havent
formally taken any functional analysis or topology.

Unfortunately there's a bit of notation.

Let E consist of all e, elements of R^n, s.t e=(+/-1,....,+/-1). There are
2^n such elements. For a fixed e in E consider A_e as the set of all points
in R^n
(x1,....,xn) s.t. xi>=0 if ei=1 and xi < 0 if ei = -1. These A_e, then,
form a disjoint partition of R^n.

Consider a sequence of measurable functions(random variables) that map from
some space, omega, to R^n, that are measurable wrt some sigma-algebra G.
Call these functions a_n(Note Im suppressing the additional subscript of e,
but they depend on e as well). Each particular a_n takes values in (A_e
intersect the unit sphere) union zero. Basically they take values on the
unit sphere restricted to A_e with the possibility of being 0.

The paper then reads, "The sequences a_n are bounded and hence are compact
in the topology sigma(Linfinity, L_1). Taking a subsequence we can consider
that every a_n converges in sigma(Linfinity,L_1) to a G measurable random
variable a which takes values in A_e union {0} (by the property of weak
convergence to preserve positivity)."

Ive become familar enough with the weak * topology and the Banach Alagolu
Thm(Mispelled, I imagine) to be happy with the convergence of the a_n to a
in the weak * topology. What Im not sure, however, is how you can say or
see what values the function a takes. The paper doesnt actually need the
preservation of positivity. So it would be fine if the function took values
in Closure(A_e) union {0}. But Im not sure how to see that it takes values
(exclusively) there either. It certainly makes intuitive sense but Im not
sure how to 'prove' it. Any ideas, suggestions, results would be
appreciated. (Watered down as much as possible and perhaps with some kind
of citation so I could look it up).

Thanks so much for your time,
--Scott
Back to top
Google

Back to top
Display posts from previous:   
Post new topic   Reply to topic Page 1 of 1 [2 Posts] View previous topic :: View next topic
The time now is Sat Nov 18, 2017 2:32 am | All times are GMT
Forum index » Science and Technology » Math » Probability
Jump to:  

Similar Topics
Topic Author Forum Replies Last Post
No new posts topology with connected. mina_world Math 10 Wed Jul 19, 2006 4:55 am
No new posts Question from an old algebraic topology qualifying exam melanie Math 5 Thu Jul 13, 2006 1:38 am
No new posts Five papers published by Geometric & Topology Publications Geometry and Topology Research 0 Tue Jul 11, 2006 9:56 pm
No new posts topology with bounded. mina_world Math 4 Wed Jul 05, 2006 12:37 pm
No new posts Weak topology question James1118 Math 2 Mon Jul 03, 2006 1:08 pm

Copyright © 2004-2005 DeniX Solutions SRL
Other DeniX Solutions sites: Electronics forum |  Medicine forum |  Unix/Linux blog |  Unix/Linux documentation |  Unix/Linux forums  |  send newsletters
 


Powered by phpBB © 2001, 2005 phpBB Group
[ Time: 0.0720s ][ Queries: 20 (0.0479s) ][ GZIP on - Debug on ]