"espace métrique" meaning in Français

{
  "categories": [
    {
      "kind": "other",
      "name": "Compositions en français",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Locutions nominales en français",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Traductions en anglais",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Traductions en croate",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Traductions en italien",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Français",
      "orig": "français",
      "parents": [],
      "source": "w"
    }
  ],
  "etymology_texts": [
    "Composé de espace et de métrique."
  ],
  "forms": [
    {
      "form": "espaces métriques",
      "tags": [
        "plural"
      ]
    },
    {
      "form": "colspan=\"2\" :Modèle:!\\ɛs.pas me.tʁik\\",
      "tags": [
        "singular"
      ]
    }
  ],
  "lang": "Français",
  "lang_code": "fr",
  "pos": "noun",
  "pos_title": "Locution nominale",
  "related": [
    {
      "word": "métrisable"
    }
  ],
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "Exemples en français",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Lexique en français de la topologie",
          "parents": [],
          "source": "w"
        }
      ],
      "examples": [
        {
          "ref": "Daniel Lacombe, Quelques procédés de définition en topologie récursive, in : Lev D. Beklemishev, Provability, Computability and Reflection, 2000",
          "text": "Nous indiquerons des méthodes pour \"récursiviser\" d’une part la notion d’espace métrique, et d’autre part la notion d’espace topologique (en utilisant, dans ce dernier cas, des bases d’ouverts particulières)."
        }
      ],
      "glosses": [
        "Couple (X, d) où d, appelée distance, est une application symétrique de X² dans R⁺, telle que :"
      ],
      "id": "fr-espace_métrique-fr-noun-kxwkI91j",
      "topics": [
        "topology"
      ]
    },
    {
      "glosses": [
        "Couple (X, d) où d, appelée distance, est une application symétrique de X² dans R⁺, telle que :",
        "d(x,y) = 0 ssi x = y (séparation)"
      ],
      "id": "fr-espace_métrique-fr-noun-MJALheEt",
      "topics": [
        "topology"
      ]
    },
    {
      "glosses": [
        "Couple (X, d) où d, appelée distance, est une application symétrique de X² dans R⁺, telle que :",
        "d(x,y) ≤ d(x,z) + d(z,y) (inégalité triangulaire)."
      ],
      "id": "fr-espace_métrique-fr-noun-ddhOrPki",
      "topics": [
        "topology"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "\\ɛs.pas me.tʁik\\"
    },
    {
      "audio": "LL-Q150 (fra)-Lepticed7-espace métrique.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/4/4e/LL-Q150_(fra)-Lepticed7-espace_métrique.wav/LL-Q150_(fra)-Lepticed7-espace_métrique.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/4/4e/LL-Q150_(fra)-Lepticed7-espace_métrique.wav/LL-Q150_(fra)-Lepticed7-espace_métrique.wav.ogg",
      "raw_tags": [
        "France (Toulouse)"
      ],
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Lepticed7-espace métrique.wav"
    }
  ],
  "tags": [
    "masculine"
  ],
  "translations": [
    {
      "lang": "Anglais",
      "lang_code": "en",
      "word": "metric space"
    },
    {
      "lang": "Croate",
      "lang_code": "hr",
      "word": "metrički prostor"
    },
    {
      "lang": "Italien",
      "lang_code": "it",
      "tags": [
        "masculine"
      ],
      "word": "spazio metrico"
    }
  ],
  "word": "espace métrique"
}

{
  "categories": [
    "Compositions en français",
    "Locutions nominales en français",
    "Traductions en anglais",
    "Traductions en croate",
    "Traductions en italien",
    "français"
  ],
  "etymology_texts": [
    "Composé de espace et de métrique."
  ],
  "forms": [
    {
      "form": "espaces métriques",
      "tags": [
        "plural"
      ]
    },
    {
      "form": "colspan=\"2\" :Modèle:!\\ɛs.pas me.tʁik\\",
      "tags": [
        "singular"
      ]
    }
  ],
  "lang": "Français",
  "lang_code": "fr",
  "pos": "noun",
  "pos_title": "Locution nominale",
  "related": [
    {
      "word": "métrisable"
    }
  ],
  "senses": [
    {
      "categories": [
        "Exemples en français",
        "Lexique en français de la topologie"
      ],
      "examples": [
        {
          "ref": "Daniel Lacombe, Quelques procédés de définition en topologie récursive, in : Lev D. Beklemishev, Provability, Computability and Reflection, 2000",
          "text": "Nous indiquerons des méthodes pour \"récursiviser\" d’une part la notion d’espace métrique, et d’autre part la notion d’espace topologique (en utilisant, dans ce dernier cas, des bases d’ouverts particulières)."
        }
      ],
      "glosses": [
        "Couple (X, d) où d, appelée distance, est une application symétrique de X² dans R⁺, telle que :"
      ],
      "topics": [
        "topology"
      ]
    },
    {
      "glosses": [
        "Couple (X, d) où d, appelée distance, est une application symétrique de X² dans R⁺, telle que :",
        "d(x,y) = 0 ssi x = y (séparation)"
      ],
      "topics": [
        "topology"
      ]
    },
    {
      "glosses": [
        "Couple (X, d) où d, appelée distance, est une application symétrique de X² dans R⁺, telle que :",
        "d(x,y) ≤ d(x,z) + d(z,y) (inégalité triangulaire)."
      ],
      "topics": [
        "topology"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "\\ɛs.pas me.tʁik\\"
    },
    {
      "audio": "LL-Q150 (fra)-Lepticed7-espace métrique.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/4/4e/LL-Q150_(fra)-Lepticed7-espace_métrique.wav/LL-Q150_(fra)-Lepticed7-espace_métrique.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/4/4e/LL-Q150_(fra)-Lepticed7-espace_métrique.wav/LL-Q150_(fra)-Lepticed7-espace_métrique.wav.ogg",
      "raw_tags": [
        "France (Toulouse)"
      ],
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Lepticed7-espace métrique.wav"
    }
  ],
  "tags": [
    "masculine"
  ],
  "translations": [
    {
      "lang": "Anglais",
      "lang_code": "en",
      "word": "metric space"
    },
    {
      "lang": "Croate",
      "lang_code": "hr",
      "word": "metrički prostor"
    },
    {
      "lang": "Italien",
      "lang_code": "it",
      "tags": [
        "masculine"
      ],
      "word": "spazio metrico"
    }
  ],
  "word": "espace métrique"
}