[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference rusure::math

Title:Mathematics at DEC
Moderator:RUSURE::EDP
Created:Mon Feb 03 1986
Last Modified:Fri Jun 06 1997
Last Successful Update:Fri Jun 06 1997
Number of topics:2083
Total number of notes:14613

1357.0. "Representation of cones in R^2" by GUESS::DERAMO (Sometimes they leave skid marks.) Tue Dec 18 1990 13:47

Path: ryn.mro4.dec.com!shlump.nac.dec.com!decuac!haven!uflorida!caen!zaphod.mps.ohio-state.edu!samsung!cs.utexas.edu!uunet!mcsun!ukc!icdoc!syma!simone
From: simone@syma.sussex.ac.uk (Simon Eveson)
Newsgroups: sci.math
Subject: Representation of cones in R^2
Message-ID: <4046@syma.sussex.ac.uk>
Date: 17 Dec 90 11:55:56 GMT
Organization: University of Sussex
Lines: 19
 
Let K be an Archimedean convex cone in R^2, by which I mean that K is a
subset of R^2 such that
	if x and y are in K then x+y is in K,
	if x is in K and t>=0 then tx is in K,
	if x and -x are both in K then x=0,
	if ty-x is in K for all t>0 then -x is in K.
Then there are vectors u and v such that K = { su + tv : s, t >= 0 }.
 
Does anybody know of a published proof of this result? I have a proof,
but it's rather messy; I'm sure that a more elegant proof is possible.
 
Thanks,
	Simon.
 
===============================================================================
Simon Eveson
Mathematics Division, University of Sussex, Brighton, BN1 9QH, England.
JANET:simone@syma.sussex.ac.uk BITNET:simone%syma.sussex.ac.uk@uk.ac
===============================================================================
T.RTitleUserPersonal
Name
DateLines
1357.1SHIRE::ALAINDAlain Debecker @GEO DTN 821-4912Thu Dec 20 1990 15:5537
1357.2GUESS::DERAMODan D'EramoThu Dec 20 1990 17:3811
        Someone on usenet noted that the definition also allowed
        K to be the empty set or the singleton set containing
        only the origin.  In the latter case K = { su + tv : s, t >= 0 }
        with u = v = (0,0).
        
        re .-1
        
        You twice use "positive" where I think you mean
        "nonnegative", otherwise that looks right.
        
        Dan
1357.3SHIRE::ALAINDAlain Debecker @GEO DTN 821-4912Fri Dec 21 1990 09:1519
>        re .-2
>        
>       You twice use "positive" where I think you mean
>       "nonnegative"
        
	A matter of culture.  In many countries, zero is taken as a 
        number both positive and negative,  and the sentence  "x is 
        smaller than y" means x <= y. In US and UK, zero is neither 
        positive nor negative,  and  "x is smaller than y"  doesn't 
        allow for equality.

	Nevertheless, you are right.  I was lousy on the edges:


	Note that the condition (4) is equivalent to the fact that 
        the cone is closed.  An *open* set verifying condition (1)
	to (3) is of the form  K = { su + tv | s,t > 0 }.  The same 
        demonstration holds:  this time, the intersection of K and 
        the cone is open, thus of the form ]u,v[ instead of [u,v].
1357.4But this is English, right?CHOVAX::YOUNGGive peace a chance.Fri Dec 21 1990 14:387
    Re .4:
    
    But these are fairly precise terms in English.  For instance,
    "Positive" in English has a precise meaning, ie. "Greater than
    zero."
    
    --  Barry
1357.5Let he who is without sin(x) cast the first dieVMSDEV::HALLYBThe Smart Money was on GoliathFri Dec 21 1990 15:375
    Re: .4 [Re: .4 [Re: .4 [Re: .4 [Re: .4 [Re: .4 [ Re: .4 [Re: .4 [...
    
>    But these are fairly precise terms in English.  For instance,
    
    As opposed to "unfairly precise"?  
1357.6Precisely!GUESS::DERAMODan D'EramoFri Dec 21 1990 16:555
        More like, as in "rather precise".  More precise than
        your usual English term, but not as precise as something
        like "compact Hausdorff space".
        
        Dan
1357.7A:x [Mathematician(x) -> Life_of_Nit_Picking(x)]CHOVAX::YOUNGGive peace a chance.Fri Dec 21 1990 18:4612
    Yeah, what Dan said.
    
    Really though, my lousy spelling and usual fumble-fingered Notes
    replies aside, when you discuss mathematics, you HAVE to be precise.
    Mathematics more than any other field inherently relies on precise
    terminology and precise statements.
    
    What is, in polite conversation, merely a nit that only an irritating
    pest would point out, in mathematical discussions can easily become a
    pivotal issue or the fatal 'flaw' in a critical proof.
    
    --  Barry
1357.8SHIRE::ALAINDAlain Debecker @GEO DTN 821-4912Fri Dec 28 1990 12:037
    Of course "positive" has a precise meaning in English, and I confess to
    make a linguistic mish-mash from time to time.  You know, just like when
    you ask an Englishman why he is driving on the left side of the road and 
    he answers "because it is the right side".

    Nevertheless in this precise case the demonstration was simpler with an 
    open cone.