{"id":20182,"date":"2013-05-06T09:08:57","date_gmt":"2013-05-06T09:08:57","guid":{"rendered":"http:\/\/www.inacreditavel.pt\/?p=20182"},"modified":"2013-05-06T09:51:54","modified_gmt":"2013-05-06T09:51:54","slug":"metrica-separacao-area-distinguibilidade","status":"publish","type":"post","link":"http:\/\/www.inacreditavel.pt\/?p=20182","title":{"rendered":"M\u00e9trica, separa\u00e7\u00e3o, \u00e1rea, sobreposi\u00e7\u00e3o, colinearidade"},"content":{"rendered":"<p>Caso 1D<br \/>\nUma separa\u00e7\u00e3o \u00e9 uma fun\u00e7\u00e3o &#8216;s&#8217; de MxM para R, tal que:<br \/>\n1a) s(x,y) >= 0<br \/>\n1b) s(x,y) = s(y,x)<br \/>\n1c) s(x,z) <= s(x,y) + s(y, z)\n\nSe a nulidade da separa\u00e7\u00e3o implicar a sobreposi\u00e7\u00e3o, \n1d) s(x,y) = 0   =>  x=y<br \/>\nent\u00e3o a separa\u00e7\u00e3o \u00e9 uma dist\u00e2ncia.<\/p>\n<p>Caso 2D<br \/>\nUma \u00e1rea \u00e9 uma fun\u00e7\u00e3o &#8216;a&#8217; de MxMxM para R, tal que:<br \/>\n2a) a(x,y,z) >= 0<br \/>\n2b) a(x,y,z)= a(x,z,y) = a(y,x,z)= a(y,z,x) = a(z,x,y)= a(z,y,x)<br \/>\n2c) a(x,y,w) <= a(x,y,z) + a( y,,w,z) + a(x,z,w)\n\nPropriedade de enlace 2D > 1D:<br \/>\nPara um conjunto M, estando definidas as fun\u00e7\u00f5es &#8216;s&#8217; e &#8216;a&#8217;,<br \/>\nse a nulidade da \u00e1rea implicar a igualdade em 1c) ent\u00e3o os pontos s\u00e3o colineares numa mesma recta.<br \/>\nAli\u00e1s, torna-se assim poss\u00edvel definir recta de uma maneira muito melhor que a de Euclides,<br \/>\nque n\u00e3o tem ponta por onde se pegue:<\/p>\n<p><a href=\"http:\/\/www.educ.fc.ul.pt\/docentes\/opombo\/seminario\/elementos-euclides\/traducao.htm\">Uma linha recta \u00e9 uma linha que assenta igualmente entre as suas extremidades.<\/a><\/p>\n<p>Ou ent\u00e3o:<br \/>\n<a href=\"http:\/\/www.mat.uc.pt\/~jaimecs\/euclid\/1parte.html\">Linha recta \u00e9 aquella, que est\u00e1 posta egualmente entre as suas extremidades.<\/a><\/p>\n<p>Al\u00e9m disso, estas defini\u00e7\u00f5es admitem generaliza\u00e7\u00f5es para o caso 3D, 4D, &#8230;<br \/>\nFixe!<\/p>\n<p>Agora as conjecturas-intui\u00e7\u00f5es, mais ou menos plaus\u00edveis:<br \/>\nFinalmente as primitivas e o c\u00e1lculo de integrais definidos podem desencaixar.<br \/>\nPois num espa\u00e7o m\u00e9trico, se \u00e1rea n\u00e3o estiver enla\u00e7ada com a dist\u00e2ncia &#8230;.<br \/>\nPiu! N\u00e3o faz sentido fazer integrais definidos.<\/p>\n<p>E \u00e9 poss\u00edvel falar da integra\u00e7\u00e3o por \u00e1leas, ou por dem\u00e3os como na pintura de paredes, para &#8220;fun\u00e7\u00f5es&#8221; mult\u00edvocas.<\/p>\n<p>Ah, se eu fosse tr\u00eas ou quatro, em vez de apenas um ind\u00edviduo.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Caso 1D Uma separa\u00e7\u00e3o \u00e9 uma fun\u00e7\u00e3o &#8216;s&#8217; de MxM para R, tal que: 1a) s(x,y) >= 0 1b) s(x,y) = s(y,x) 1c) s(x,z) x=y ent\u00e3o a separa\u00e7\u00e3o \u00e9 uma dist\u00e2ncia. Caso 2D Uma \u00e1rea \u00e9 uma fun\u00e7\u00e3o &#8216;a&#8217; de MxMxM para R, tal que: 2a) a(x,y,z) >= 0 2b) a(x,y,z)= a(x,z,y) = a(y,x,z)= a(y,z,x) [&hellip;]<\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1,7],"tags":[],"_links":{"self":[{"href":"http:\/\/www.inacreditavel.pt\/index.php?rest_route=\/wp\/v2\/posts\/20182"}],"collection":[{"href":"http:\/\/www.inacreditavel.pt\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.inacreditavel.pt\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.inacreditavel.pt\/index.php?rest_route=\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"http:\/\/www.inacreditavel.pt\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=20182"}],"version-history":[{"count":7,"href":"http:\/\/www.inacreditavel.pt\/index.php?rest_route=\/wp\/v2\/posts\/20182\/revisions"}],"predecessor-version":[{"id":20190,"href":"http:\/\/www.inacreditavel.pt\/index.php?rest_route=\/wp\/v2\/posts\/20182\/revisions\/20190"}],"wp:attachment":[{"href":"http:\/\/www.inacreditavel.pt\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=20182"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.inacreditavel.pt\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=20182"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.inacreditavel.pt\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=20182"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}